diff options
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 () |