projects / dide_16.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 41d89f4)
kein pushen mehr von pdf files...
authorBernhard Urban <lewurm@gmx.net>
Fri, 6 Nov 2009 18:23:10 +0000 (19:23 +0100)
committerBernhard Urban <lewurm@gmx.net>
Fri, 6 Nov 2009 18:23:10 +0000 (19:23 +0100)
.gitignore patch | blob | history

diff --git a/.gitignore b/.gitignore
index e7da8f8c09388383707e4eab5d803f3ef32d54f5..10f7302e98383d306504c7549e5db6a9d5aaa582 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -7,3 +7,4 @@
 *.dvi
 *.ps
 *.swp
+*.pdf
dide laboruebung (ws09)