projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 778d2fa) | patch
Cosmetic fix: make first column wider to account for longer names in p4.
authorGodmar Back <godmar@gmail.com>
Sun, 7 Jan 2007 21:38:02 +0000 (21:38 +0000)
committerGodmar Back <godmar@gmail.com>
Sun, 7 Jan 2007 21:38:02 +0000 (21:38 +0000)
commitef2da35080bbb2014875415efe17c39760306e86
tree623c0e110af40fabd53c2197f91c1fb93d486d71tree | snapshot
parent778d2fa16ad84aac64f3994e175b15c28fc5b163commit | diff
Cosmetic fix: make first column wider to account for longer names in p4.
src/tests/make-grade diff | blob | history
Pintos public repository