Remove some unused fields in the segment structure.
authorRichard W.M. Jones <rjones@redhat.com>
Thu, 1 May 2008 18:08:18 +0000 (19:08 +0100)
committerRichard W.M. Jones <rjones@redhat.com>
Thu, 1 May 2008 18:08:18 +0000 (19:08 +0100)
commit3ae952a58118e460981bb0750ab7e565ca2c1366
tree2fbfecfe9a68770aea81a5fd3dc62918470c1ad1
parent264faa6f381b1972327f830e3fca5ddd5881ff92
Remove some unused fields in the segment structure.
lib/diskimage.ml