diff --git a/docs/tools/.gitignore b/docs/tools/.gitignore new file mode 100644 index 0000000000000000000000000000000000000000..7d75298b357323be250168828c90cba2533ed245 --- /dev/null +++ b/docs/tools/.gitignore @@ -0,0 +1,2 @@ +build +__pycache__