From: Ben Pfaff Date: Wed, 6 Apr 2005 21:13:18 +0000 (+0000) Subject: Update. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=278231fad4bbadba0c62aa09b15d28078c800f2d;p=pintos-anon Update. --- diff --git a/TODO b/TODO index e037e2b..e3a3951 100644 --- a/TODO +++ b/TODO @@ -50,8 +50,6 @@ Alternatively, shrink the inode size. - - Add mkdir and ls example user programs. - - Add option to disable buffer cache. - Get rid of "dump" commands--they're not really useful.