Open Vampire opened 4 years ago
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
I'll update the documentation. Thanks for pointing it out.
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