X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=doc%2Flocalsettings.texi;fp=doc%2Flocalsettings.texi;h=18b4daebce3b80fee1630a528698e9c94681d104;hp=765076d291ae5ac004391f9b4fb4eb86fb0a689f;hb=7410ba55d1c8076a8ea24e5afe54dc820a18733b;hpb=5999404c2b4cec0c27676a7fc81596662875aea5

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