mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
RI: bundle remote interpreters
This commit is contained in:
@@ -39,7 +39,8 @@ setProperty("pluginFilter", [
|
||||
"jdbc-console", "django-db-config",
|
||||
"database-impl", "DatabaseSupport",
|
||||
"sql",
|
||||
"coffeescript"
|
||||
"coffeescript",
|
||||
"python-remote-interpreter"
|
||||
])
|
||||
|
||||
private List platformImplementationModules() {
|
||||
|
||||
Reference in New Issue
Block a user