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