diff options
Diffstat (limited to 'public/config.codekit')
| -rw-r--r-- | public/config.codekit | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/public/config.codekit b/public/config.codekit index 59d0c333e6..f5d95f6d83 100644 --- a/public/config.codekit +++ b/public/config.codekit @@ -191,7 +191,7 @@ "outputPathIsOutsideProject": 0, "outputPathIsSetByUser": 0, "outputStyle": 1, - "syntaxCheckerStyle": 0 + "syntaxCheckerStyle": 1 }, "\/js\/jquery-1.11.3.min.js": { "fileType": 64, @@ -281,6 +281,17 @@ "outputPathIsSetByUser": 0, "processed": 0 }, + "\/js\/min\/gogs-min.js": { + "fileType": 64, + "ignore": 1, + "ignoreWasSetByUser": 0, + "inputAbbreviatedPath": "\/js\/min\/gogs-min.js", + "outputAbbreviatedPath": "\/js\/min\/min\/gogs-min-min.js", + "outputPathIsOutsideProject": 0, + "outputPathIsSetByUser": 0, + "outputStyle": 1, + "syntaxCheckerStyle": 1 + }, "\/js\/semantic-2.1.5.min.js": { "fileType": 64, "ignore": 0, |