From: Ben Pfaff Date: Sat, 8 Jan 2005 18:13:54 +0000 (+0000) Subject: Fix ASCII art diagram. Thanks to Roy Zeighami X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f83a74b3b1b52c1c20196b58bc00123529ad4524;p=pintos-anon Fix ASCII art diagram. Thanks to Roy Zeighami for reporting this bug. --- diff --git a/doc/tour.texi b/doc/tour.texi index d9dab05..39483a3 100644 --- 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