From: Ben Pfaff Date: Tue, 2 Aug 2005 02:15:36 +0000 (+0000) Subject: Fix typo. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ffd63f8d7e284c6d49889666953b581db8a8d0cd;p=pintos-anon Fix typo. --- diff --git a/doc/filesys.texi b/doc/filesys.texi index b1b6165..9f06510 100644 --- a/doc/filesys.texi +++ b/doc/filesys.texi @@ -125,7 +125,7 @@ every time a write is made off the end of the file. Your file system must allow this. There should be no predetermined limit on the size of a file, except -that a disk cannot exceed the size of the disk (minus metadata). This +that a file cannot exceed the size of the disk (minus metadata). This also applies to the root directory file, which should now be allowed to expand beyond its initial limit of 16 files.