From: Ben Pfaff <blp@cs.stanford.edu>
Date: Tue, 20 Dec 2005 20:47:21 +0000 (+0000)
Subject: Add CVS Locking to menu.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ddcfd3a476fb6be9d8dccdd4eea343b1cbc46e79;p=pintos-anon

Add CVS Locking to menu.
---

diff --git a/doc/devel.texi b/doc/devel.texi
index 061f2fd..60851df 100644
--- a/doc/devel.texi
+++ b/doc/devel.texi
@@ -49,6 +49,7 @@ home page}.
 @menu
 * Setting Up CVS::              
 * Using CVS::                   
+* CVS Locking::                 
 @end menu
 
 @node Setting Up CVS