diff options
| author | Richard W.M. Jones <rjones@redhat.com> | 2007-09-27 18:59:54 +0100 |
|---|---|---|
| committer | Richard W.M. Jones <rjones@redhat.com> | 2007-09-27 18:59:54 +0100 |
| commit | 5616e76a5a01656aa0dcc323fcd1fcd77764e638 (patch) | |
| tree | 7e37726337d16b5b4a1d3216eaa97d18668d4bc6 /virt-df/virt_df_main.ml | |
| parent | 3d742c162cbcb38663da580f1dff58db992f1a22 (diff) | |
| download | virt-top-5616e76a5a01656aa0dcc323fcd1fcd77764e638.tar.gz virt-top-5616e76a5a01656aa0dcc323fcd1fcd77764e638.tar.xz virt-top-5616e76a5a01656aa0dcc323fcd1fcd77764e638.zip | |
* configure.ac: Changed version to 0.3.2.9.
* Makefile.in: Re-enable virt-df.
* virt-df/virt_df*.ml: Mostly finished off the core of virt-df.
Ext2/3 support. No LVM as yet.
* virt-df/README: Added README file.
Diffstat (limited to 'virt-df/virt_df_main.ml')
| -rw-r--r-- | virt-df/virt_df_main.ml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/virt-df/virt_df_main.ml b/virt-df/virt_df_main.ml new file mode 100644 index 0000000..2f9f1bf --- /dev/null +++ b/virt-df/virt_df_main.ml @@ -0,0 +1,5 @@ +(* 'df' command for virtual domains. + * $Id$ + *) + +let () = Virt_df.main () |