summaryrefslogtreecommitdiffstats
path: root/docs/submodules
diff options
context:
space:
mode:
Diffstat (limited to 'docs/submodules')
m---------docs/submodules/integration/devtool.git0
1 files changed, 0 insertions, 0 deletions
diff --git a/docs/submodules/integration/devtool.git b/docs/submodules/integration/devtool.git
-Subproject 8be83219fd8fc9983ac90a700b25c35555f45c4
+Subproject 53c52795b9008893dbf5739dfdafbaf100fa81e