Readme contains outdated paths

Open Vampire opened this issue 5 years ago • 1 comments

With 2020.1 the default path for manual plugin installation has changed: https://www.jetbrains.com/help/idea/2020.1/tuning-the-ide.html#plugins-directory

May 22 '20 21:05 Vampire

I'll update the documentation. Thanks for pointing it out.

May 23 '20 12:05 NLSurfMan