random: Fix behavior of kernel option "-rs".
[pintos-anon] / src / vm / .cvsignore
2008-11-07 Ben PfaffRename .cvsignore files to .gitignore.
2006-05-17 Ben PfaffIgnore bochsout.txt, bochsrc.txt.
2004-09-26 Ben PfaffIgnore more files.