feat(compile_formal_docs): mirror docs/ subtree so formal docs can embed assets#15

abitofhelp wants to merge 2 commits into

mainabitofhelp/hybrid_scripts_python:mainfrom

feat/compile-formal-docs-diagram-assetsabitofhelp/hybrid_scripts_python:feat/compile-formal-docs-diagram-assetsCopy head branch name to clipboard