mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
plugin-filter
This commit is contained in:
@@ -26,7 +26,8 @@ setProperty("pluginFilter", [
|
||||
"sass", "less",
|
||||
"hg4idea",
|
||||
"tasks", "tasks-core", "tasks-api", "jira-connector",
|
||||
"github"
|
||||
"github",
|
||||
"python-spellchecker-common", "pycharm-spellchecker"
|
||||
])
|
||||
|
||||
private List platformImplementationModules() {
|
||||
|
||||
Reference in New Issue
Block a user