X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fuserprog.tmpl;h=a489303091491fc57d545ebb998019f396329043;hb=ae554d8c38d5ef45c15571323bcc6ba03834f7a3;hp=1cf7ed7aca78c70366863f15dfc2737ea9b043ec;hpb=0c5419ce28e18dc45c85653d4f7ab7a3a6c3260b;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
 			   ================