diff options
Diffstat (limited to 'virt-top/virt_top.ml')
-rw-r--r-- | virt-top/virt_top.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/virt-top/virt_top.ml b/virt-top/virt_top.ml index cd1ce64..0638a65 100644 --- a/virt-top/virt_top.ml +++ b/virt-top/virt_top.ml @@ -1,5 +1,4 @@ (* 'top'-like tool for libvirt domains. - * $Id: virt_top.ml,v 1.5 2007/08/30 13:52:40 rjones Exp $ *) open Printf |