diff options
Diffstat (limited to 'virt-df/virt_df_main.ml')
-rw-r--r-- | virt-df/virt_df_main.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/virt-df/virt_df_main.ml b/virt-df/virt_df_main.ml index 2f9f1bf..0cbc182 100644 --- a/virt-df/virt_df_main.ml +++ b/virt-df/virt_df_main.ml @@ -1,5 +1,4 @@ (* 'df' command for virtual domains. - * $Id$ *) let () = Virt_df.main () |