diff options
Diffstat (limited to 'mlvirtmanager/mlvirtmanager_connections.ml')
-rw-r--r-- | mlvirtmanager/mlvirtmanager_connections.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/mlvirtmanager/mlvirtmanager_connections.ml b/mlvirtmanager/mlvirtmanager_connections.ml index 2fda3e9..a91db62 100644 --- a/mlvirtmanager/mlvirtmanager_connections.ml +++ b/mlvirtmanager/mlvirtmanager_connections.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_connections.ml,v 1.1 2007/08/06 10:16:53 rjones Exp $ *) open Printf |