Fix duplicate label

[docs.git] / .gitmodules

diff --git a/.gitmodules b/.gitmodules
index 81c6ba87f45e8d1f26a0ead2fdfbec1d8fb08e3d..e69de29bb2d1d6434b8b29ae775ad8c2e48c5391 100644 (file)
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,20 +0,0 @@
-[submodule "docs/submodules/infrautils"]
-       path = docs/submodules/infrautils
-       url = ../infrautils
-       branch = .
-       ignore = dirty
-[submodule "docs/submodules/genius"]
-       path = docs/submodules/genius
-       url = ../genius
-       branch = .
-       ignore = dirty
-[submodule "docs/submodules/sfc"]
-       path = docs/submodules/sfc
-       url = ../sfc
-       branch = .
-       ignore = dirty
-[submodule "docs/submodules/openflowplugin"]
-       path = docs/submodules/openflowplugin
-       url = ../openflowplugin
-       branch = .
-       ignore = dirty