mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
remove duplicated registration of JSON plugin
This commit is contained in:
@@ -76,7 +76,6 @@ def layoutFull(String home, String targetDirectory, String patchedDescriptorDir
|
||||
"java-impl",
|
||||
"java-psi-impl",
|
||||
"java-structure-view",
|
||||
"json",
|
||||
"jsp-spi",
|
||||
"manifest",
|
||||
"platform-main",
|
||||
|
||||
@@ -12,7 +12,6 @@
|
||||
<xi:include href="/META-INF/RemoteServers.xml" xpointer="xpointer(/idea-plugin/*)">
|
||||
<xi:fallback/>
|
||||
</xi:include>
|
||||
<xi:include href="/META-INF/JsonPlugin.xml" xpointer="xpointer(/idea-plugin/*)"/>
|
||||
|
||||
<application-components>
|
||||
<component>
|
||||
|
||||
Reference in New Issue
Block a user