]> git.tuebingen.mpg.de Git - dss.git/blobdiff - .gitignore
Merge topic branch t/misc into pu
[dss.git] / .gitignore
index 4aafb488c3fc2f1196e67b58c20b7998684a5126..c8ab019759894766aff72cd82775dae13c76b844 100644 (file)
@@ -1,8 +1,5 @@
-Makefile.deps
-*.o
+Makefile.local
 *.swp
-dss.lsg.*
+build/*
 dss
-dss.1
-dss.1.html
-index.html
+dss.1.gz