X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Ftutorial.stt;h=5c15a7130d717630b05547fefd95a2fac537519d;hb=cee6f0eb54144da7034566fa1bcdcee22337ae6a;hp=130ae9b23baa2b68217d59dc417a4f680d6107be;hpb=24cbabb1547682037cda854b46c2e4bdf87a2c8a;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 @@ - +