From: John Ousterhout Date: Thu, 17 Dec 2015 17:43:57 +0000 (-0800) Subject: Remove mention of CS 107 from localsettings.texi X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7410ba55d1c8076a8ea24e5afe54dc820a18733b;p=pintos-anon Remove mention of CS 107 from localsettings.texi --- diff --git a/doc/localsettings.texi b/doc/localsettings.texi index 765076d..18b4dae 100644 --- a/doc/localsettings.texi +++ b/doc/localsettings.texi @@ -56,12 +56,7 @@ when a change introduces a bug, drop back to working versions of code. @end macro @macro localcodingstandards{} -All of you should have taken a class like CS 107, so we expect you to be -familiar with some set of coding standards such as -@uref{http://www.stanford.edu/class/cs140/projects/misc/CodingStandards.pdf, -, CS 107 Coding Standards}. Even if you've taken 107, we recommend -reviewing that document. We expect code at the ``Peer-Review Quality'' -level described there. +@c If appropriate, describe additional local coding standards here. @end macro @macro localdevelopmenttools{}