chiark / gitweb /
Rearrange so as not to include Linux headers unless we need to.
[tripe] / doc / .cvsignore
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