diff --git a/src/main.json b/src/main.json deleted file mode 100644 index 7d7a018743..0000000000 --- a/src/main.json +++ /dev/null @@ -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": "." -}