diff options
| author | Bruno de Oliveira Abinader <bruno@mapbox.com> | 2019-07-29 11:18:57 +0300 |
|---|---|---|
| committer | Bruno de Oliveira Abinader <bruno@mapbox.com> | 2019-07-29 18:36:08 +0300 |
| commit | 6f0cda8c8b8e7831f04ae5e00b13387107dcad9b (patch) | |
| tree | 985607080970868ae8204cb5ef6a37b0d75bdcfc /.gitmodules | |
| parent | 41e30343f7c9772ba0a3dfa1497dd5657b18aca1 (diff) | |
[build] Use mapbox-base optional
Diffstat (limited to '.gitmodules')
| -rw-r--r-- | .gitmodules | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/.gitmodules b/.gitmodules index 98ca7d989..185a92c41 100644 --- a/.gitmodules +++ b/.gitmodules @@ -49,9 +49,6 @@ [submodule "vendor/icu"] path = vendor/icu url = https://github.com/unicode-org/icu.git -[submodule "vendor/optional"] - path = vendor/optional - url = https://github.com/mapbox/Optional.git [submodule "vendor/boost"] path = vendor/boost url = https://github.com/mapbox/mapbox-gl-native-boost.git |