Closed zmughal closed 11 years ago
This was the previous behavior.
On a side note, it might be a good idea to add an example using the plugin with ~/.proverc in the documentation: -Pretty
Ah, the ~/.proverc bit is already there. :-)
This was the previous behavior.
On a side note, it might be a good idea to add an example using the plugin with ~/.proverc in the documentation: -Pretty