X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=doc%2Fuserprog.tmpl;fp=doc%2Fuserprog.tmpl;h=03c7fa015c563f2b24849803e433a942719759e1;hp=a489303091491fc57d545ebb998019f396329043;hb=1407c40250b1b7563c9927e63490971e4cdeb389;hpb=6cec69104ea5fa08b1c759063c010fe39f07f058

diff --git a/doc/userprog.tmpl b/doc/userprog.tmpl
index a489303..03c7fa0 100644
--- a/doc/userprog.tmpl
+++ b/doc/userprog.tmpl
@@ -1,8 +1,8 @@
-		     +--------------------------+
-       	       	     |		CS 140		|
-		     | PROJECT 2: USER PROGRAMS	|
-		     | 	   DESIGN DOCUMENT     	|
-		     +--------------------------+
+             +--------------------------+
+             |          CS 140          |
+             | PROJECT 2: USER PROGRAMS |
+             |     DESIGN DOCUMENT      |
+             +--------------------------+
 
 ---- GROUP ----
 
@@ -21,8 +21,8 @@ FirstName LastName <email@domain.example>
 >> preparing your submission, other than the Pintos documentation, course
 >> text, lecture notes, and course staff.
 
-			   ARGUMENT PASSING
-			   ================
+               ARGUMENT PASSING
+               ================
 
 ---- DATA STRUCTURES ----
 
@@ -44,8 +44,8 @@ FirstName LastName <email@domain.example>
 >> and arguments.  In Unix-like systems, the shell does this
 >> separation.  Identify at least two advantages of the Unix approach.
 
-			     SYSTEM CALLS
-			     ============
+                 SYSTEM CALLS
+                 ============
 
 ---- DATA STRUCTURES ----
 
@@ -111,8 +111,8 @@ FirstName LastName <email@domain.example>
 >> B11: The default tid_t to pid_t mapping is the identity mapping.
 >> If you changed it, what advantages are there to your approach?
 
-			   SURVEY QUESTIONS
-			   ================
+               SURVEY QUESTIONS
+               ================
 
 Answering these questions is optional, but it will help us improve the
 course in future quarters.  Feel free to tell us anything you