From 40c767c3309eb64e5a7159114bba52f4acd70cfa Mon Sep 17 00:00:00 2001
From: Tom Payne <twpayne@gmail.com>
Date: Wed, 18 Jul 2012 09:01:12 +0200
Subject: [PATCH] Remove main.json (replaced with ol.json)

---
 main.json | 48 ------------------------------------------------
 1 file changed, 48 deletions(-)
 delete mode 100644 main.json

diff --git a/main.json b/main.json
deleted file mode 100644
index 34174c46bc..0000000000
--- a/main.json
+++ /dev/null
@@ -1,48 +0,0 @@
-{
-  "id": "ol",
-
-  "inputs": [
-    "src/all.js"
-  ],
-  "paths": [
-    "src"
-  ],
-
-  "define": {
-    // "goog.dom.ASSUME_STANDARDS_MODE": true,
-    // "ol.ENABLE_DOM": false,
-    // "ol.ENABLE_WEBGL": false,
-    "goog.DEBUG": false
-  },
-
-  "externs": [
-    "externs/geojson.js",
-    "externs/webgl-debug.js"
-  ],
-
-  "mode": "ADVANCED",
-  "level": "VERBOSE",
-  // "pretty-print": true,
-  // "debug": true,
-
-  // "experimental-compiler-options": {
-  //    "generateExports": true
-  // },
-
-  "checks": {
-    // acceptable values are "ERROR", "WARNING", and "OFF"
-    "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": "jsdoc"
-}