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