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