From: Ben Pfaff <blp@cs.stanford.edu>
Date: Mon, 13 Sep 2004 03:17:59 +0000 (+0000)
Subject: Remove FIXME that I fixed in the sources.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=6ae3a25e3d704ae43fd0685c49bccd297fc1dc78;p=pintos-anon

Remove FIXME that I fixed in the sources.
---

diff --git a/doc/userprog.texi b/doc/userprog.texi
index f80a80c..b3f8f4c 100644
--- a/doc/userprog.texi
+++ b/doc/userprog.texi
@@ -445,8 +445,6 @@ limit of 128 open files per process (as the Solaris machines here do).
 @b{What happens when two (or more) processes have a file open and one of
 them removes it?}
 
-FIXME FIXME FIXME
-
 You should copy the standard Unix semantics for files.  That is, when
 a file is removed an process which has a file descriptor for that file
 may continue to do operations on that descriptor.  This means that