Merge "Add Devtool project"

diff --git a/.gitmodules b/.gitmodules
index f89d08e..6ba62e1 100644 (file)
--- a/.gitmodules
+++ b/.gitmodules
@@ -312,3 +312,8 @@
 [submodule "docs/submodules/vnfrqts/usecases.git"]
        path = docs/submodules/vnfrqts/usecases.git
        url = ../vnfrqts/usecases
+[submodule "docs/submodules/integration/devtool.git"]
+       path = docs/submodules/integration/devtool.git
+       url = ../integration/devtool/
+       branch = .
+       ignore = dirty

diff --git a/docs/release/repolist.rst b/docs/release/repolist.rst
index d807ed8..b224cff 100644 (file)
--- a/docs/release/repolist.rst
+++ b/docs/release/repolist.rst
@@ -76,3 +76,4 @@ Project/Components
    music/distributed-kv-store <../submodules/music/distributed-kv-store.git/docs/index>
    vnfrqts/testcases <../submodules/vnfrqts/testcases.git/docs/index>
    vnfrqts/usecases <../submodules/vnfrqts/usecases.git/docs/index>
+   Devtool <../submodules/integration/devtool.git/doc/source/index>

diff --git a/docs/submodules/integration/devtool.git b/docs/submodules/integration/devtool.git
new file mode 160000 (submodule)
index 0000000..5d9b7f5
--- /dev/null
+++ b/docs/submodules/integration/devtool.git
@@ -0,0 +1 @@
+Subproject commit 5d9b7f5c4bff05cf6a035604796595cf9b39eac2