]> git.tuebingen.mpg.de Git - dss.git/blobdiff - .gitignore
Add .gitignore.
[dss.git] / .gitignore
diff --git a/.gitignore b/.gitignore
new file mode 100644 (file)
index 0000000..ffae104
--- /dev/null
@@ -0,0 +1,4 @@
+Makefile.deps
+*.[oa]
+cmdline.[ch]
+dss