projects
/
pintos-anon
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
c0cd5f5
)
Fix ASCII art diagram. Thanks to Roy Zeighami <zeighami@stanford.edu>
author
Ben Pfaff
<blp@cs.stanford.edu>
Sat, 8 Jan 2005 18:13:54 +0000
(18:13 +0000)
committer
Ben Pfaff
<blp@cs.stanford.edu>
Sat, 8 Jan 2005 18:13:54 +0000
(18:13 +0000)
for reporting this bug.
doc/tour.texi
patch
|
blob
|
history
diff --git
a/doc/tour.texi
b/doc/tour.texi
index d9dab057a06f88dab97099d32ef16f98badcf2fb..39483a32011d6f64c0a43ac13277105d10436f0b 100644
(file)
--- a/
doc/tour.texi
+++ b/
doc/tour.texi
@@
-303,8
+303,8
@@
grows downward from the end of the page. It looks like this:
| magic |
| : |
| : |
- | name |
| status |
+ | tid |
0 kB +---------------------------------+
@end group
@end example