X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=doc%2Ftour.texi;h=39483a32011d6f64c0a43ac13277105d10436f0b;hp=d9dab057a06f88dab97099d32ef16f98badcf2fb;hb=882e46c9feb305e853fd15fc774ecceee5f4bcfc;hpb=c0cd5f5c14152621ad5226d90d5ab1a2f48d5d9e 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