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

json schema, rename resource file .babelrc and .eslintrc back, they do not have to end with .json

Browse Source
This commit is contained in:
irengrig
2016-07-11 16:47:15 +02:00
parent 5bf97584ab
commit 8d0d388752
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
json/src/com/jetbrains/jsonSchema/extension/schema/JsonSchemaFileIndex.java
+1 -1
View File
@@ -35,7 +35,7 @@ import java.util.Map;
*/
public class JsonSchemaFileIndex extends FileBasedIndexExtension<String, Integer> {
public static final ID<String, Integer> PROPERTIES_INDEX = ID.create("json.schema.properties.index");
public static final int VERSION = 2;
public static final int VERSION = 3;
private IntInlineKeyDescriptor myKeyDescriptor = new IntInlineKeyDescriptor();
@NotNull