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