Use TIMER_FREQ of 19 for grading priority-fifo.
[pintos-anon] / grading / lib / .cvsignore
2004-12-07 Ben PfaffIgnore files.