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

cleanup

Browse Source
This commit is contained in:
Dmitry Avdeev
2013-01-10 16:58:30 +04:00
parent 670a9dae7c
commit 94a7325147
1 changed files with 0 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/ide/plugins/PluginManager.java
-2
View File
@@ -94,8 +94,6 @@ public class PluginManager {
private static final Map<PluginId,Integer> ourId2Index = new THashMap<PluginId, Integer>();
@NonNls private static final String MODULE_DEPENDENCY_PREFIX = "com.intellij.module";
private static final List<String> ourAvailableModules = new ArrayList<String>();
private static final boolean ourOptimize = "true".equals(System.getProperty("idea.optimize"));
public static long startupStart;
public static final float PLUGINS_PROGRESS_MAX_VALUE = 0.3f;