diff options
Diffstat (limited to 'virt-top/virt_top_utils.ml')
-rw-r--r-- | virt-top/virt_top_utils.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/virt-top/virt_top_utils.ml b/virt-top/virt_top_utils.ml index 3a0c4ba..207ba4f 100644 --- a/virt-top/virt_top_utils.ml +++ b/virt-top/virt_top_utils.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 $ *) let (//) = Filename.concat |