diff options
author | 2018-10-27 00:03:25 +0000 | |
---|---|---|
committer | 2018-10-27 00:03:25 +0000 | |
commit | df89827146946a4986d4901c60fc7a8109c72b4d (patch) | |
tree | 5ea97a6d863c723088bd848cd0aee9900301a63e /.gitmodules | |
parent | b4dd75888aba55379ab76efa494ff8fc8e19828f (diff) | |
parent | 9d09720ecb8e4ad1e831c6db281b3699dea38545 (diff) |
Merge "Update git submodules for Auto"
Diffstat (limited to '.gitmodules')
-rw-r--r-- | .gitmodules | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/.gitmodules b/.gitmodules index af118f7ad..4ed89f77c 100644 --- a/.gitmodules +++ b/.gitmodules @@ -3,11 +3,6 @@ url = ../apex branch = . ignore = dirty -[submodule "docs/submodules/auto"] - path = docs/submodules/auto - url = ../auto - branch = . - ignore = dirty [submodule "docs/submodules/bottlenecks"] path = docs/submodules/bottlenecks url = ../bottlenecks |