FIX: maps/dist directory is now gitignored

2020-11-19 17:06:28 +01:00
parent 8d8b879ed6
commit 540f69267b
3 changed files with 1579 additions and 1 deletions
@@ -46,7 +46,7 @@ class UrlManager {
    }
    
    public getStartLayerNameFromUrl(): string|null {
-        let hash = window.location.hash;
+        const hash = window.location.hash;
        return hash.length > 1 ? hash.substring(1) : null;
    }

@@ -1 +1,2 @@
 /node_modules/
+dist/