mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-26 19:06:24 +07:00
Split DevKit into modules + related changes and fixes
This commit is contained in:
+12
@@ -0,0 +1,12 @@
|
||||
<idea-plugin>
|
||||
<id>com.intellij.myPlugin</id>
|
||||
|
||||
<extensions defaultExtensionNs="com.intellij"/>
|
||||
|
||||
<<error descr="Specify defaultExtensionNs=\"com.intellij\" explicitly">extensions</error>>
|
||||
</extensions>
|
||||
|
||||
<extensions <error descr="Use defaultExtensionNs instead">xmlns="<error descr="URI is not registered (Settings | Languages & Frameworks | Schemas and DTDs)">com.intellij.myPlugin</error>"</error>>
|
||||
</extensions>
|
||||
|
||||
</idea-plugin>
|
||||
Reference in New Issue
Block a user