From 5122699c020be7c24dff90b39936bf21c3055473 Mon Sep 17 00:00:00 2001 From: zenon Date: Sat, 9 Jun 2018 12:26:52 +0200 Subject: [PATCH] Remove pdf files from excluded files --- .gitignore | 1 - 1 file changed, 1 deletion(-) diff --git a/.gitignore b/.gitignore index 2b1e23b..aedd86f 100644 --- a/.gitignore +++ b/.gitignore @@ -8,4 +8,3 @@ generator html/ latex/ *.tgz -*.pdf