MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

Blacklist com.javils.ThemeSwitcher plugin

Browse Source
This commit is contained in:
Alexander Zolotov
2018-04-06 15:46:46 +03:00
parent eee306432b
commit 95207b05c5
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-resources/src/brokenPlugins.txt
+2 -1
View File
@@ -91,4 +91,5 @@ Railways 0.7.0 0.7.1 0.8.0 0.8.1 0.8.2 0.8.3 0.8.4 0.8.5 0.8.6 0.8.7
de.espend.idea.php.annotation 0.1 0.2 0.3 0.4 1.0.1 1.1 1.2 1.3 1.4 1.4.1 1.5.1 1.6 2.6 2.6.1 2.6.2 3.0 3.0.1 4.0 4.0.1 4.1 4.1.1 4.1.2 4.2 4.3 4.3.1 4.3.2 5.0 5.1 5.2 5.2.1
org.nextras.orm.intellij 0.1 0.2 0.4.2 0.4.3
org.covscript 1.8.3
org.ice1000.julia 0.1.8
org.ice1000.julia 0.1.8
com.javils.ThemeSwitcher 1.0 1.1 1.2