From: John Ousterhout <ouster@cs.stanford.edu>
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=4f47311e149d2be0a46049cc1c482c41ff3336d1;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{}