From d42c067e028f2587ef53ae8b90e5882b64eb1964 Mon Sep 17 00:00:00 2001 From: Philipp Storz Date: Thu, 29 Nov 2018 21:38:23 +0100 Subject: [PATCH] removed build --- docs/manuals/en/new_main_reference/build/.gitignore | 4 ---- 1 file changed, 4 deletions(-) delete mode 100644 docs/manuals/en/new_main_reference/build/.gitignore diff --git a/docs/manuals/en/new_main_reference/build/.gitignore b/docs/manuals/en/new_main_reference/build/.gitignore deleted file mode 100644 index 90d213bcb84..00000000000 --- a/docs/manuals/en/new_main_reference/build/.gitignore +++ /dev/null @@ -1,4 +0,0 @@ -doctrees -html -latex -singlehtml