From bd66b58cded2c2c7e7b7e5d374434d6531dd70de Mon Sep 17 00:00:00 2001 From: Martin Czygan Date: Sun, 8 Aug 2021 15:18:29 +0200 Subject: docs: cleanup and naming --- docs/Simple/.gitignore | 5 ----- 1 file changed, 5 deletions(-) delete mode 100644 docs/Simple/.gitignore (limited to 'docs/Simple/.gitignore') diff --git a/docs/Simple/.gitignore b/docs/Simple/.gitignore deleted file mode 100644 index 5040d53..0000000 --- a/docs/Simple/.gitignore +++ /dev/null @@ -1,5 +0,0 @@ -*.log -*.aux -*.bbl -*.blg -*.out -- cgit v1.2.3