Skip to content
Snippets Groups Projects
Commit 8f8a03aa authored by Philippe Suter's avatar Philippe Suter
Browse files

fixed scalac-plugin.xml that was still referring to funcheck

parent 2f3be277
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/main/resources/funcheck/scalac-plugin.xml deleted 100644 → 0
+ 0
− 4
View file @ 2f3be277
<plugin>
<name>funcheck</name>
<classname>funcheck.FunCheckPlugin</classname>
</plugin>
src/main/resources/leon/scalac-plugin.xml 0 → 100644
+ 4
− 0
View file @ 8f8a03aa
<plugin>
<name>leon</name>
<classname>leon.plugin.LeonPlugin</classname>
</plugin>
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment