From a9db41ba391bd3afd5dafd1106c3e946599ce262 Mon Sep 17 00:00:00 2001 From: workinghard Date: Thu, 6 Jan 2022 18:59:54 +0100 Subject: [PATCH] cleanup --- .gitignore | 1 - doc/.gitignore | 4 ---- 2 files changed, 5 deletions(-) delete mode 100644 doc/.gitignore diff --git a/.gitignore b/.gitignore index 6a03451..1b69a96 100644 --- a/.gitignore +++ b/.gitignore @@ -2,7 +2,6 @@ target* build* bin* -doc/*.tex doc/*.aux doc/*.log doc/*.synctex.gz \ No newline at end of file diff --git a/doc/.gitignore b/doc/.gitignore deleted file mode 100644 index da93023..0000000 --- a/doc/.gitignore +++ /dev/null @@ -1,4 +0,0 @@ -*.tex -*.aux -*.log -*.synctex.gz \ No newline at end of file