From b90d19edf9adbf180a06c157df4860558bc85510 Mon Sep 17 00:00:00 2001 From: hasenradball Date: Fri, 6 Dec 2024 14:53:21 +0100 Subject: [PATCH] remove git ignore file from repo --- .gitignore | 18 ------------------ 1 file changed, 18 deletions(-) delete mode 100644 .gitignore diff --git a/.gitignore b/.gitignore deleted file mode 100644 index 1cf9694..0000000 --- a/.gitignore +++ /dev/null @@ -1,18 +0,0 @@ -# gitignore -.gitignore - -# html files by doxygen -doxygen/html/ - -# latex files by doxygen -doxygen/latex/Makefile -doxygen/latex/*.tex -doxygen/latex/*.sty -doxygen/latex/*.aux -doxygen/latex/*.idx -doxygen/latex/*.ilg -doxygen/latex/*.ing -doxygen/latex/*.log -doxygen/latex/*.out -doxygen/latex/*.toc -doxygen/latex/*.ind \ No newline at end of file