chiark / gitweb /
Release 1.5.2.
[tripe] / doc / .gitignore
CommitLineData
d8f6a599
MW
1Makefile.in
2protocol.ps
3tripe.ps
4wrestlers.aux
5wrestlers.bbl
6wrestlers.blg
7wrestlers.dvi
8wrestlers.log
9wrestlers.ps
10wrestlers.toc