chiark / gitweb /
Merge branch 'master' into doc
[sod] / .gitignore
1 *.fasl
2 *.pdf
3 *.out
4 *.log
5 *.dvi
6 *.aux
7 Makefile.in
8 /COPYING
9 /COPYING.LIB
10 /aclocal.m4
11 /autom4te.cache/
12 /config/
13 /configure
14 /doc/SYMBOLS