]> git.tuebingen.mpg.de Git - dss.git/blob - .gitignore
projects / dss.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Add new option --keep-redundant.
[dss.git] / .gitignore
1 Makefile.deps
2 *.[oa]
3 cmdline.[ch]
4 dss
DSS - dyadic snapshot scheduler