projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5aede12) | 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)
commit0b01eb8d16b9ff48657aceec17d68522b2a3cfdf
treeeabde9de6d0e0095dd79cfaecd66853292e113d6tree | snapshot
parent5aede12cbaae26a13df4e2b926c78ed85945dbadcommit | diff
Cosmetic fix: make first column wider to account for longer names in p4.
src/tests/make-grade diff | blob | history
Pintos public repository