Update to match printf() fix.
[pintos-anon] / grading / lib / .cvsignore
1 *.d