diff --git a/.gitmodules b/.gitmodules index 10591be7f..cca7960ac 100644 --- a/.gitmodules +++ b/.gitmodules @@ -13,9 +13,6 @@ [submodule "third_party/gyp"] path = third_party/gyp url = https://chromium.googlesource.com/external/gyp -[submodule "third_party/ninja"] - path = third_party/ninja - url = https://chromium.googlesource.com/external/martine/ninja [submodule "third_party/catch"] path = third_party/catch url = https://github.com/philsquared/Catch.git diff --git a/third_party/ninja b/third_party/ninja deleted file mode 160000 index c406d1c8a..000000000 --- a/third_party/ninja +++ /dev/null @@ -1 +0,0 @@ -Subproject commit c406d1c8adfedc1982e2c08ab95d581f65eb65de