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=882e46c9feb305e853fd15fc774ecceee5f4bcfc;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