X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=doc%2Fthreads.tmpl;h=b34b4e2eab4845bef2d7b8f4c9933ef3dc30a404;hp=ce0ca75fc8f59e714ac65764003bd32cce7749ce;hb=ed04361f6ec91e4f0db1550c2cc487a461b2d17b;hpb=bb2ad624fa17035477be68c1f6b89710f2124b7a diff --git a/doc/threads.tmpl b/doc/threads.tmpl index ce0ca75..b34b4e2 100644 --- a/doc/threads.tmpl +++ b/doc/threads.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. ALARM CLOCK ===========