diff --git a/tools/.gitignore b/tools/.gitignore new file mode 100644 index 0000000..f81662e --- /dev/null +++ b/tools/.gitignore @@ -0,0 +1 @@ +/export