diff --git a/docs-tools b/docs-tools index d2d480515..f66adcd03 160000 --- a/docs-tools +++ b/docs-tools @@ -1 +1 @@ -Subproject commit d2d480515359fdd3f3fa3cd82bf8e73682dcf65d +Subproject commit f66adcd03f0276ec34f44520faf9f84810e333fc