Skip to content
Snippets Groups Projects
Commit 465b84df authored by dgelessus's avatar dgelessus
Browse files

Remove probcli -parsercp argument

It seems that none of the mentioned jars and paths actually exist.
probcli isn't supposed to call the parser anyway when running under the
Rodin plugin.
parent d2f206d0
No related branches found
No related tags found
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment