rename "world" to "terrain"

Gjum · Dec 17, 2016 · 57b30f0 · 57b30f0
1 parent 43bade7
commit 57b30f0
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/docs/index.html b/docs/index.html
@@ -40,13 +40,13 @@
       tilesUrl: 'https://raw.githubusercontent.com/dev3map/tiles/master/',
       claimsUrl: 'https://raw.githubusercontent.com/dev3map/data/master/claims.json',
       basemaps: [
-        'world',
+        'terrain',
         'night',
         'simple',
         'light',
       ],
       options: {
-        basemap: 'world',
+        basemap: 'terrain',
       },
     });
   </script>