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?p=pintos-anon;a=commitdiff_plain;h=7410ba55d1c8076a8ea24e5afe54dc820a18733b

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{}