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_main.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_main.ml')
-rw-r--r-- | virt-top/virt_top_main.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/virt-top/virt_top_main.ml b/virt-top/virt_top_main.ml index 32f5b5b..a36bf06 100644 --- a/virt-top/virt_top_main.ml +++ b/virt-top/virt_top_main.ml @@ -1,5 +1,4 @@ (* 'top'-like tool for libvirt domains. - * $Id: virt_top_main.ml,v 1.2 2007/08/30 13:16:57 rjones Exp $ * * Just contains the main function. *) |