Get rid of unnecessary barrier. Improve comment.
[pintos-anon] / doc / .cvsignore
1 *.aux
2 *.cp
3 *.dvi
4 *.fn
5 *.info
6 *.ky
7 *.log
8 *.pg
9 *.toc
10 *.tp
11 *.vr
12 mlfqs1.png
13 mlfqs2.png
14 mlfqs1.pdf
15 mlfqs2.pdf
16 projects.html
17 pintos.html
18 pintos.pdf
19 pintos.ps
20 pintos_*.html