projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 127ad6d) | patch
Clarify that create and remove work on files, not on file descriptors.
authorBen Pfaff <blp@cs.stanford.edu>
Sat, 24 Mar 2007 00:56:57 +0000 (00:56 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Sat, 24 Mar 2007 00:56:57 +0000 (00:56 +0000)
commit854aa042a0e960f142cb15ecca8177ee01c3f927
treea9eaa8c5b4db3bec5fc1cc235176c49cdbc4426atree | snapshot
parent127ad6d1d303bf93142a4b951ac08f136e4646e5commit | diff
Clarify that create and remove work on files, not on file descriptors.
Thanks to Godmar Back for pointing out the need.
doc/userprog.texi diff | blob | history
Pintos public repository