X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Ffilesys.tmpl;h=2bb2d1bc20d484f448eaf19f2401aa6f7aa86f7a;hb=2b4cbbd50d1752a6b26341ba78e7e285f7b947f3;hp=e3d6f56808328074359a14b94b4d2991a004d090;hpb=d4067a3abb1ef4537030835952e32f22f0063529;p=pintos-anon diff --git a/doc/filesys.tmpl b/doc/filesys.tmpl index e3d6f56..2bb2d1b 100644 --- a/doc/filesys.tmpl +++ b/doc/filesys.tmpl @@ -19,7 +19,7 @@ FirstName LastName >> Please cite any offline or online sources you consulted while >> preparing your submission, other than the Pintos documentation, course ->> text, and lecture notes. +>> text, lecture notes, and course staff. INDEXED AND EXTENSIBLE FILES ============================