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