Ownership using segment tree (not finished).
authorRichard W.M. Jones <rjones@redhat.com>
Wed, 30 Apr 2008 17:28:56 +0000 (18:28 +0100)
committerRichard W.M. Jones <rjones@redhat.com>
Wed, 30 Apr 2008 17:28:56 +0000 (18:28 +0100)
commit66916209fa11b050af2f8b4ec184b26adf81d0a9
treeae1f6c0543879daff8cb266f5680862258b167bd
parenta2c695deef4043ec197ff4b55497294a51b1ca93
Ownership using segment tree (not finished).
lib/diskimage.ml
lib/diskimage.mli