X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Ftutorial.stt;h=5c15a7130d717630b05547fefd95a2fac537519d;hb=refs%2Fheads%2Fctables17;hp=130ae9b23baa2b68217d59dc417a4f680d6107be;hpb=4053aa3eda4fe56bf489ce81b239112644df7a72;p=pspp diff --git a/doc/tutorial.stt b/doc/tutorial.stt index 130ae9b23b..5c15a7130d 100644 --- a/doc/tutorial.stt +++ b/doc/tutorial.stt @@ -49,5 +49,5 @@ - +