X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fuserprog.tmpl;h=a489303091491fc57d545ebb998019f396329043;hb=3edcfedb8e62970f3293fa676b6691f8658c3c11;hp=1cf7ed7aca78c70366863f15dfc2737ea9b043ec;hpb=d4067a3abb1ef4537030835952e32f22f0063529;p=pintos-anon

diff --git a/doc/userprog.tmpl b/doc/userprog.tmpl
index 1cf7ed7..a489303 100644
--- a/doc/userprog.tmpl
+++ b/doc/userprog.tmpl
@@ -19,7 +19,7 @@ FirstName LastName <email@domain.example>
 
 >> 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.
 
 			   ARGUMENT PASSING
 			   ================