Use TIMER_FREQ of 19 for grading priority-fifo.
[pintos-anon] / grading / filesys / lg-seq-random.c
2004-12-09 Ben PfaffFinish up filesys grading stuff.