summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorSofia Wallin <sofia.wallin@ericsson.com>2018-01-22 08:58:19 +0000
committerGerrit Code Review <gerrit@opnfv.org>2018-01-22 08:58:19 +0000
commita04d64bc9833dab96f36d4d9872b5ec15faaf827 (patch)
tree527c27aca9323adcc221b7a60b614057063d1d5d
parent7f1042e2f0652dc12904867bdf875b22a811d223 (diff)
parent0e7e4aa75033978209e7719389f870a46a4c15e8 (diff)
Merge "Remove infra repo from submodules"
-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