Add a fs_dev field to filesystem
authorRichard W.M. Jones <rjones@redhat.com>
Mon, 28 Apr 2008 15:51:09 +0000 (16:51 +0100)
committerRichard W.M. Jones <rjones@redhat.com>
Mon, 28 Apr 2008 15:51:09 +0000 (16:51 +0100)
commitdd4973936aac7090bbe17ed502fba6c7b5467907
tree04ae97febaea64b4a7220ddbaad869bd16295988
parent4cb1be48118971ebe749c4030f871aa25d26c520
Add a fs_dev field to filesystem
lib/diskimage.mli
lib/diskimage_ext2.ml
lib/diskimage_linux_swap.ml
lib/diskimage_utils.ml
lib/diskimage_utils.mli