Start of a more fleshed out workspace interface.
commite05c61c46dbdf29a8b53c610183bb52d811e2fed
authorReilly Grant <reillyeon@qotw.net>
Fri, 20 Mar 2009 18:54:52 +0000 (20 14:54 -0400)
committerReilly Grant <reillyeon@qotw.net>
Fri, 20 Mar 2009 18:54:52 +0000 (20 14:54 -0400)
treec49e7eeff233ea572de9c203851221387ab555a4
parent6c3b45ac771e72cadac7a9f6fcaedab34af74f1c
Start of a more fleshed out workspace interface.
figfs/workspace.ml
figfs/workspace.mli