diff options
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 |