diff options
| author | Richard W.M. Jones <rjones@redhat.com> | 2007-10-17 16:19:44 +0100 |
|---|---|---|
| committer | Richard W.M. Jones <rjones@redhat.com> | 2007-10-17 16:19:44 +0100 |
| commit | 0e09861c06a0c274bcfdacceaee347f8aaa969cb (patch) | |
| tree | a266a0716ebfb551b64328457a27e90f606c1e8c /virt-top/virt_top_utils.ml | |
| parent | 002d9558cf5986f14c475054b19da31713b7c8b3 (diff) | |
| download | virt-top-0e09861c06a0c274bcfdacceaee347f8aaa969cb.tar.gz virt-top-0e09861c06a0c274bcfdacceaee347f8aaa969cb.tar.xz virt-top-0e09861c06a0c274bcfdacceaee347f8aaa969cb.zip | |
Removed $Id$ everywhere.
'make distclean' now cleans more files.
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 |