diff options
Diffstat (limited to 'virt-df/virt_df.ml')
| -rw-r--r-- | virt-df/virt_df.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/virt-df/virt_df.ml b/virt-df/virt_df.ml index 4a5f0ed..f583025 100644 --- a/virt-df/virt_df.ml +++ b/virt-df/virt_df.ml @@ -1,5 +1,4 @@ (* 'df' command for virtual domains. - * $Id$ *) open Printf |