]> git.tuebingen.mpg.de Git - dss.git/blobdiff - .gitignore
Merge topic branch t/realpath into pu
[dss.git] / .gitignore
index aedd74e2272067da39fda26661646bb0f6832160..c8ab019759894766aff72cd82775dae13c76b844 100644 (file)
@@ -1,11 +1,5 @@
 Makefile.local
-version.c
-*.o
-*.d
 *.swp
-dss.lsg.*
+build/*
 dss
-dss.suite
 dss.1.gz
-dss.1.html
-index.html