From 15f0fa6aa552b0f7c18248ba2a9eabcec23707a8 Mon Sep 17 00:00:00 2001 From: Miikka Vaisala Date: Wed, 7 Aug 2019 14:07:45 +0800 Subject: [PATCH] Useful .gitignore added --- doc/manual/.gitignore | 2 ++ 1 file changed, 2 insertions(+) create mode 100644 doc/manual/.gitignore diff --git a/doc/manual/.gitignore b/doc/manual/.gitignore new file mode 100644 index 0000000..23f832b --- /dev/null +++ b/doc/manual/.gitignore @@ -0,0 +1,2 @@ +*.html +*.pdf