projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3300c4c) | patch
- removed @ref to "printf Reboots" since this no longer applies and the @anchor is...
authorGodmar Back <godmar@gmail.com>
Mon, 8 Jan 2007 08:46:49 +0000 (08:46 +0000)
committerGodmar Back <godmar@gmail.com>
Mon, 8 Jan 2007 08:46:49 +0000 (08:46 +0000)
commit884d659ef4a594017bc5a456b772fc82fa3e6b76
treedda930027f3875b9537490ba640db00d0227e7a2tree | snapshot
parent3300c4c415adbbcc9f4a1d17a035fc17a4042e3bcommit | diff
- removed @ref to "printf Reboots" since this no longer applies and the @anchor is gone
- fixed typo print -> printf
doc/debug.texi diff | blob | history
Pintos public repository