From 42c8289d04dd9067845ee97d7e9fedecdf4b9aba Mon Sep 17 00:00:00 2001 From: Ben Vanik Date: Wed, 9 Jul 2014 21:33:33 -0700 Subject: [PATCH] part 1: removing old ninja for repo switch. --- .gitmodules | 3 --- third_party/ninja | 1 - 2 files changed, 4 deletions(-) delete mode 160000 third_party/ninja diff --git a/.gitmodules b/.gitmodules index 439bccb76..f465ee16a 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,6 +1,3 @@ -[submodule "third_party/ninja"] - path = third_party/ninja - url = https://github.com/martine/ninja.git [submodule "third_party/gflags"] path = third_party/gflags url = https://github.com/benvanik/gflags.git diff --git a/third_party/ninja b/third_party/ninja deleted file mode 160000 index a3c823c3d..000000000 --- a/third_party/ninja +++ /dev/null @@ -1 +0,0 @@ -Subproject commit a3c823c3da70bd46d69341f13184cdae4c77645d