]> git.tuebingen.mpg.de Git - dss.git/blob - .gitignore
Merge topic branch t/realpath into pu
[dss.git] / .gitignore
1 Makefile.local
2 version.c
3 *.o
4 *.d
5 *.swp
6 dss.lsg.*
7 dss
8 dss.1.gz
9 dss.1.html
10 index.html