mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
Fix build take 2.
This commit is contained in:
@@ -149,9 +149,7 @@ class CommunityRepositoryModules {
|
||||
withOptionalModule("tasks-java")
|
||||
doNotCreateSeparateJarForLocalizableResources()
|
||||
},
|
||||
plugin("terminal") {
|
||||
withResource("lib/jediterm-sh.in", "lib")
|
||||
},
|
||||
plugin("terminal"),
|
||||
plugin("editorconfig"),
|
||||
plugin("coverage"),
|
||||
plugin("yaml"),
|
||||
|
||||
Reference in New Issue
Block a user