From 1e09e00f75c6b4e6aab481a65a45688863f053f2 Mon Sep 17 00:00:00 2001 From: Petr Pokorny Date: Thu, 21 Jan 2021 20:29:03 +0100 Subject: [PATCH] Removed mapbox-gl-js module --- .gitmodules | 3 --- mapbox-gl-js | 1 - 2 files changed, 4 deletions(-) delete mode 160000 mapbox-gl-js diff --git a/.gitmodules b/.gitmodules index 6e634fd03..594a71c2b 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,6 +1,3 @@ -[submodule "mapbox-gl-js"] - path = mapbox-gl-js - url = https://github.com/mapbox/mapbox-gl-js.git [submodule "vendor/earcut.hpp"] path = vendor/earcut.hpp url = https://github.com/mapbox/earcut.hpp.git diff --git a/mapbox-gl-js b/mapbox-gl-js deleted file mode 160000 index fe03b706f..000000000 --- a/mapbox-gl-js +++ /dev/null @@ -1 +0,0 @@ -Subproject commit fe03b706ff6fbda2ff4796bbf581aa667c6fbc7d