Add GeoJSON externs.

2012-06-21 19:47:02 +02:00
parent 4776b11658
commit 7f7528baf9
2 changed files with 109 additions and 0 deletions
--- a/main.json
+++ b/main.json
@@ -11,6 +11,10 @@
    "goog.DEBUG": false
  },

+  "externs": [
+    "externs/geojson.js"
+  ],
+
  "mode": "ADVANCED",
  "level": "VERBOSE",
  "pretty-print": true,