diff --git a/tools/docs/.tool-versions b/tools/docs/.tool-versions new file mode 100644 index 0000000..2378210 --- /dev/null +++ b/tools/docs/.tool-versions @@ -0,0 +1,2 @@ +python3 3.7.17 +mdbook 0.4.40