diff options
author | 2017-11-03 12:03:50 +0000 | |
---|---|---|
committer | 2017-11-03 12:03:50 +0000 | |
commit | b8a4165372f276049d9879053f15f01fc208ecfa (patch) | |
tree | 7fc39712695c307e3235d23c2f10125e0053f8cd /.gitmodules | |
parent | 3f1a6971c04ae31f78866cea39e92b6098f9553a (diff) | |
parent | 809b18ad320e9da8c3b7c1ebaf079c541920fc61 (diff) |
Merge "Integration of Dovetail documentation" into stable/danube
Diffstat (limited to '.gitmodules')
-rw-r--r-- | .gitmodules | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules index f636f0ac6..af73c432e 100644 --- a/.gitmodules +++ b/.gitmodules @@ -152,3 +152,8 @@ url = ../barometer branch = . ignore = dirty +[submodule "docs/submodules/dovetail"] + path = docs/submodules/dovetail + url = ../dovetail + branch = master + ignore = dirty |