chiark / gitweb /
merge fixes/clarifications - clarify Non-Topbloke merges - add a wlog
[topbloke-formulae.git] / .gitignore
1 *.aux
2 *.log
3 *.dvi
4 *.out
5 *.pdf
6 *.ps
7 *~