diff options
| author |   Aric Gardner <agardner@linuxfoundation.org> | 2018-10-29 18:44:27 +0000 |
|---|---|---|
| committer |   Gerrit Code Review <gerrit@opnfv.org> | 2018-10-29 18:44:27 +0000 |
| commit | 131635a3c8cbf0781c08e7ccb9ea51615785f367 (patch) | |
| tree | 0c2a097301bbcf36c477a8c47259913d49139abe /docs/submodules/domino | |
| parent | 1bc9852e7925244233f846bf0d6e6d557e0a0fcf (diff) | |
| parent | d4dfbf8ff6f2a4e222befc824facf9dab70e2638 (diff) | |
Merge "Convert Unlinked Git Submodules to Intersphinx"
Diffstat (limited to 'docs/submodules/domino')
| m--------- | docs/submodules/domino | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/docs/submodules/domino b/docs/submodules/domino deleted file mode 160000 -Subproject 8330eea4474bf90a358c2255b1d0c6403829579 |