diff options
author | Richard W.M. Jones <rjones@redhat.com> | 2008-01-08 14:33:53 +0000 |
---|---|---|
committer | Richard W.M. Jones <rjones@redhat.com> | 2008-01-08 14:33:53 +0000 |
commit | 474e8b8e2e98b61d5d01a58f843b9338754ecf2f (patch) | |
tree | 767d3ff44ba02ac6483593bb8119283873aa77bb /virt-ctrl/vc_mainwindow.ml | |
parent | 9b4bab1fe618affd0e69666ec6467b414cee325e (diff) | |
download | virt-top-474e8b8e2e98b61d5d01a58f843b9338754ecf2f.tar.gz virt-top-474e8b8e2e98b61d5d01a58f843b9338754ecf2f.tar.xz virt-top-474e8b8e2e98b61d5d01a58f843b9338754ecf2f.zip |
Change comments virt-manager -> virt-ctrl.
* virt-ctrl/*.ml, virt-ctrl/*.mli: Change comments virt-manager ->
virt-ctrl.
Diffstat (limited to 'virt-ctrl/vc_mainwindow.ml')
-rw-r--r-- | virt-ctrl/vc_mainwindow.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/virt-ctrl/vc_mainwindow.ml b/virt-ctrl/vc_mainwindow.ml index e8dc4af..cf957c3 100644 --- a/virt-ctrl/vc_mainwindow.ml +++ b/virt-ctrl/vc_mainwindow.ml @@ -1,4 +1,4 @@ -(* virt-manager-like graphical management tool. +(* virt-ctrl: A graphical management tool. (C) Copyright 2007 Richard W.M. Jones, Red Hat Inc. http://libvirt.org/ |