diff options
author | Richard W.M. Jones <rjones@redhat.com> | 2008-04-15 11:26:46 +0100 |
---|---|---|
committer | Richard W.M. Jones <rjones@redhat.com> | 2008-04-15 11:26:46 +0100 |
commit | 0019c13c600d34f12778e849246711bb20ba4ee2 (patch) | |
tree | 57e2dc48b526ae4445bd5f542cce4ab04a7b735e /virt-df/virt_df_main.ml | |
parent | 748302caa93af2c412bcd30dad5787a5a24e9af5 (diff) | |
download | virt-top-0019c13c600d34f12778e849246711bb20ba4ee2.tar.gz virt-top-0019c13c600d34f12778e849246711bb20ba4ee2.tar.xz virt-top-0019c13c600d34f12778e849246711bb20ba4ee2.zip |
Don't need the ': device' typecasts any more.
Diffstat (limited to 'virt-df/virt_df_main.ml')
0 files changed, 0 insertions, 0 deletions