Added range library function.
authorRichard W.M. Jones <rjones@redhat.com>
Tue, 15 Apr 2008 21:31:08 +0000 (22:31 +0100)
committerRichard W.M. Jones <rjones@redhat.com>
Tue, 15 Apr 2008 21:31:08 +0000 (22:31 +0100)
commitb06f8da33e1e87a64ec785e248e47e47fee9073f
tree4d7b5183934fe9129367fb78b46ee599cd319184
parent3ae5297d795db6e8da8c9b02a7e85a808a93388e
Added range library function.
virt-df/virt_df.ml
virt-df/virt_df.mli