From 8d0d3887525c60dc7e8b21037cb9fd82c752e0b1 Mon Sep 17 00:00:00 2001 From: irengrig Date: Mon, 11 Jul 2016 16:44:34 +0200 Subject: [PATCH] json schema, rename resource file .babelrc and .eslintrc back, they do not have to end with .json --- .../jsonSchema/extension/schema/JsonSchemaFileIndex.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/json/src/com/jetbrains/jsonSchema/extension/schema/JsonSchemaFileIndex.java b/json/src/com/jetbrains/jsonSchema/extension/schema/JsonSchemaFileIndex.java index 848f43739271..3ef75b304996 100644 --- a/json/src/com/jetbrains/jsonSchema/extension/schema/JsonSchemaFileIndex.java +++ b/json/src/com/jetbrains/jsonSchema/extension/schema/JsonSchemaFileIndex.java @@ -35,7 +35,7 @@ import java.util.Map; */ public class JsonSchemaFileIndex extends FileBasedIndexExtension { public static final ID 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