Open zeitlinger opened 4 years ago
use new IDEA directories
see https://www.jetbrains.com/help/idea/tuning-the-ide.html?_ga=2.193645928.458500944.1594127970-1328968252.1578383566#plugins-directory
use new IDEA directories
see https://www.jetbrains.com/help/idea/tuning-the-ide.html?_ga=2.193645928.458500944.1594127970-1328968252.1578383566#plugins-directory