diff options
author | 2017-09-30 12:50:18 +0000 | |
---|---|---|
committer | 2017-09-30 12:50:18 +0000 | |
commit | e81f4f1992ec5b1bbebbc27c172d8f0fb7aff6c1 (patch) | |
tree | 5112d3b170aefa2c21e4137473611733bc4a3ffe /docs/submodules/usecase-ui.git | |
parent | a3a3c7acbfa6f3d8079d08dfd6c4f5f12906bc6c (diff) | |
parent | 79a88c73eb95c3b96b8c27d36a3f007573b398c4 (diff) |
Merge "Allow multiple sphinx-build threads on verify job"
Diffstat (limited to 'docs/submodules/usecase-ui.git')
m--------- | docs/submodules/usecase-ui.git | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/docs/submodules/usecase-ui.git b/docs/submodules/usecase-ui.git -Subproject 10c71729955623307b0b4a170a6ef004ab188a9 +Subproject 0fb8edd56b99f8e2a1a34d4a46eadf1862177c0 |