From 1bb84f641c16ab41a158c414df7d78fb88b1edcd Mon Sep 17 00:00:00 2001 From: Petr Viktorin Date: Fri, 24 Nov 2017 22:39:20 +0100 Subject: [PATCH] Doc: Add .gitignore --- Doc/.gitignore | 1 + 1 file changed, 1 insertion(+) create mode 100644 Doc/.gitignore diff --git a/Doc/.gitignore b/Doc/.gitignore new file mode 100644 index 0000000..a485625 --- /dev/null +++ b/Doc/.gitignore @@ -0,0 +1 @@ +/_build