diff --git a/doc/manual/.gitignore b/doc/manual/.gitignore deleted file mode 100644 index 29647f53e..000000000 --- a/doc/manual/.gitignore +++ /dev/null @@ -1,3 +0,0 @@ -src/build/* -src/source/__pycache__/* -utils/__pycache__/* \ No newline at end of file