projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a36a980) | 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)
commit90053831bfef7cfa230cae40301f387ed213718c
treea9ada3c81ea8f66649159469a3f4daafb4d13eadtree | snapshot
parenta36a980e3df79c1d75c7ebedd8cb85cfe01d0795commit | 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