From 7780ac8aa776842779e3eea57feec907d096d69d Mon Sep 17 00:00:00 2001 From: Bernhard Urban Date: Fri, 6 Nov 2009 19:23:10 +0100 Subject: [PATCH] kein pushen mehr von pdf files... --- .gitignore | 1 + 1 file changed, 1 insertion(+) diff --git a/.gitignore b/.gitignore index e7da8f8..10f7302 100644 --- a/.gitignore +++ b/.gitignore @@ -7,3 +7,4 @@ *.dvi *.ps *.swp +*.pdf -- 2.25.1