texi2html doesn't support @verbatiminclude, so kluge it.
[pintos-anon] / tests / .cvsignore
1 filesys
2 list
3 p1-1
4 p1-2
5 p1-3
6 p2
7 stdlib
8 threads
9 userprog
10 vm