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 /mlvirtmanager/mlvirtmanager.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 'mlvirtmanager/mlvirtmanager.ml')
| -rw-r--r-- | mlvirtmanager/mlvirtmanager.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/mlvirtmanager/mlvirtmanager.ml b/mlvirtmanager/mlvirtmanager.ml index 091c026..010e832 100644 --- a/mlvirtmanager/mlvirtmanager.ml +++ b/mlvirtmanager/mlvirtmanager.ml @@ -1,7 +1,6 @@ (* virt-manager-like graphical management tool. (C) Copyright 2007 Richard W.M. Jones, Red Hat Inc. http://libvirt.org/ - $Id: mlvirtmanager.ml,v 1.1 2007/08/06 10:16:53 rjones Exp $ *) open Printf |