projects / pintos-anon / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 969572c)
Fix menu.
authorBen Pfaff <blp@cs.stanford.edu>
Fri, 19 May 2006 03:17:28 +0000 (03:17 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Fri, 19 May 2006 03:17:28 +0000 (03:17 +0000)
doc/filesys.texi patch | blob | history

diff --git a/doc/filesys.texi b/doc/filesys.texi
index 78b92a18dd68508e15ec3cc8486490fb38c8fb1f..8ff62dd9f29400db0a09a4ca3cb38c3c4675025e 100644 (file)
--- a/doc/filesys.texi
+++ b/doc/filesys.texi
@@ -21,7 +21,7 @@ PINTOSOPTS='--qemu'}.
 @menu
 * Project 4 Background::        
 * Project 4 Requirements::      
-* Project 4 FAQ::             
+* Project 4 FAQ::               
 @end menu
 
 @node Project 4 Background
@@ -375,7 +375,6 @@ of IDE disk hardware.
 
 @menu
 * Indexed Files FAQ::           
-* Subdirectories FAQ::          
 * Buffer Cache FAQ::            
 @end menu
 
Pintos public repository