summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--.gitmodules5
1 files changed, 0 insertions, 5 deletions
diff --git a/.gitmodules b/.gitmodules
index fa3effe13..7bf4296c7 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -212,11 +212,6 @@
url = ../barometer
branch = .
ignore = dirty
-[submodule "docs/submodules/infra"]
- path = docs/submodules/infra
- url = ../infra
- branch = .
- ignore = dirty
[submodule "docs/submodules/releng-xci"]
path = docs/submodules/releng-xci
url = ../releng-xci