]> git.tuebingen.mpg.de Git - dss.git/blob - .gitignore
projects / dss.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Invalidate create_pid if create process has died.
[dss.git] / .gitignore
1 Makefile.deps
2 *.[oa]
3 cmdline.[ch]
4 dss
5 dss.1
6 dss.1.html
DSS - dyadic snapshot scheduler