X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fvm.tmpl;h=a5674b011215a192b75c29c3a2ab7fe49789d1a7;hb=fc7845f7a47c461f49b8ee956be2d77e41e09320;hp=7deac673100d3199d9bcfd89c0cc7678793f12c3;hpb=e427969b0335192ace51ffbaa9e4a9ae9f4f6fe3;p=pintos-anon

diff --git a/doc/vm.tmpl b/doc/vm.tmpl
index 7deac67..a5674b0 100644
--- a/doc/vm.tmpl
+++ b/doc/vm.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.
 
 			PAGE TABLE MANAGEMENT
 			=====================