Removing additional main.json.

2012-06-19 09:25:25 +02:00
parent 0a354d3923
commit e84a0473d5
1 changed files with 0 additions and 36 deletions
--- a/src/main.json
+++ b/src/main.json
@@ -1,36 +0,0 @@
-{
-  "id": "main",
-
-  "inputs": "main.js",
-  "paths": [
-    "."
-  ],
-
-  "externs": [
-    "//google_maps_api_v3.js"
-  ],
-
-  "define": {
-    // "goog.dom.ASSUME_STANDARDS_MODE": true,
-    "goog.DEBUG": true
-  },
-
-  "mode": "ADVANCED",
-  "level": "VERBOSE",
-
-  "checks": {
-    // "accessControls": "ERROR",
-    // "visibility": "ERROR"
-    "checkTypes": "ERROR",
-    "checkRegExp": "ERROR",
-    "checkVars": "ERROR",
-    "deprecated": "ERROR",
-    "fileoverviewTags": "ERROR",
-    "invalidCasts": "ERROR",
-    "missingProperties": "ERROR",
-    "nonStandardJsDocs": "ERROR",
-    "undefinedVars": "ERROR"
-  },
-
-  "jsdoc-html-output-path": "."
-}