added IGNORE_USER_FAULTS flag - so students may report failed stack growth
[pintos-anon] / src / vm / .cvsignore
2006-05-17 Ben PfaffIgnore bochsout.txt, bochsrc.txt.
2004-09-26 Ben PfaffIgnore more files.