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 /mlvirsh/mlvirsh.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 'mlvirsh/mlvirsh.ml')
-rw-r--r-- | mlvirsh/mlvirsh.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/mlvirsh/mlvirsh.ml b/mlvirsh/mlvirsh.ml index 5b63a77..9ce8b7e 100644 --- a/mlvirsh/mlvirsh.ml +++ b/mlvirsh/mlvirsh.ml @@ -1,7 +1,6 @@ (* virsh-like command line tool. (C) Copyright 2007 Richard W.M. Jones, Red Hat Inc. http://libvirt.org/ - $Id: mlvirsh.ml,v 1.2 2007/08/21 13:24:09 rjones Exp $ *) open ExtString |