Applied patch set 6 by Ben, derived from Anthony's megapatch, and minor
[pintos-anon] / src / .cvsignore
1 cscope.files
2 cscope.out
3 TAGS
4 tags