From c8a234b65318bafd3a3c3c53fbaf042df39c5659 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?S=C3=A9bastien=20Villemot?= Date: Thu, 21 Feb 2019 17:35:26 +0100 Subject: [PATCH] Remove obsolete .gitignore --- doc/manual/.gitignore | 3 --- 1 file changed, 3 deletions(-) delete mode 100644 doc/manual/.gitignore 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