projects / pintos-anon / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 91e7e15)
Add CVS Locking to menu.
authorBen Pfaff <blp@cs.stanford.edu>
Tue, 20 Dec 2005 20:47:21 +0000 (20:47 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Tue, 20 Dec 2005 20:47:21 +0000 (20:47 +0000)
doc/devel.texi patch | blob | history

diff --git a/doc/devel.texi b/doc/devel.texi
index 061f2fda177fcaa1bfbb528672eb018e4c4f086f..60851dfe1d9334a4ec7546780e21907dbdda7398 100644 (file)
--- 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
Pintos public repository