part 1: removing old ninja for repo switch.
This commit is contained in:
3
.gitmodules
vendored
3
.gitmodules
vendored
@@ -1,6 +1,3 @@
|
|||||||
[submodule "third_party/ninja"]
|
|
||||||
path = third_party/ninja
|
|
||||||
url = https://github.com/martine/ninja.git
|
|
||||||
[submodule "third_party/gflags"]
|
[submodule "third_party/gflags"]
|
||||||
path = third_party/gflags
|
path = third_party/gflags
|
||||||
url = https://github.com/benvanik/gflags.git
|
url = https://github.com/benvanik/gflags.git
|
||||||
|
|||||||
1
third_party/ninja
vendored
1
third_party/ninja
vendored
Submodule third_party/ninja deleted from a3c823c3da
Reference in New Issue
Block a user