Support for creating files in a workspace.
commitb23d73ee4059a6979bae5f06dd5773c3301ed2c7
authorReilly Grant <reillyeon@qotw.net>
Mon, 30 Mar 2009 04:04:13 +0000 (30 00:04 -0400)
committerReilly Grant <reillyeon@qotw.net>
Mon, 30 Mar 2009 04:04:13 +0000 (30 00:04 -0400)
tree3c20739b6c18651278ad25582e021d1c7e63cbc4
parentf214ac9fd4f884b8572eed9670f062a9face33e6
Support for creating files in a workspace.

Theoretically this should be close to being able to create random files
in a workspace using the filesystem, but there are a bunch of extra
calls that need to be implemented.
figfs/figfs.ml
figfs/figfs_test.ml
figfs/workspace.ml
figfs/workspace.mli