chiark / gitweb /
formatting move/add some qeds
[topbloke-formulae.git] / .gitignore
1 *.aux
2 *.log
3 *.dvi
4 *.out
5 *.pdf
6 *.ps
7 *~