diff options
Diffstat (limited to 'mlvirtmanager')
| -rw-r--r-- | mlvirtmanager/Makefile.in | 2 | ||||
| -rw-r--r-- | mlvirtmanager/mlvirtmanager.ml | 1 | ||||
| -rw-r--r-- | mlvirtmanager/mlvirtmanager_connections.ml | 1 | ||||
| -rw-r--r-- | mlvirtmanager/mlvirtmanager_connections.mli | 1 | ||||
| -rw-r--r-- | mlvirtmanager/mlvirtmanager_domain_ops.ml | 1 | ||||
| -rw-r--r-- | mlvirtmanager/mlvirtmanager_domain_ops.mli | 1 | ||||
| -rw-r--r-- | mlvirtmanager/mlvirtmanager_helpers.ml | 1 | ||||
| -rw-r--r-- | mlvirtmanager/mlvirtmanager_helpers.mli | 1 | ||||
| -rw-r--r-- | mlvirtmanager/mlvirtmanager_mainwindow.ml | 1 | ||||
| -rw-r--r-- | mlvirtmanager/mlvirtmanager_mainwindow.mli | 1 |
10 files changed, 0 insertions, 11 deletions
diff --git a/mlvirtmanager/Makefile.in b/mlvirtmanager/Makefile.in index fe75929..d21968c 100644 --- a/mlvirtmanager/Makefile.in +++ b/mlvirtmanager/Makefile.in @@ -1,5 +1,3 @@ -# $Id: Makefile.in,v 1.2 2007/08/21 14:24:38 rjones Exp $ - INSTALL := @INSTALL@ prefix = @prefix@ 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 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 diff --git a/mlvirtmanager/mlvirtmanager_connections.mli b/mlvirtmanager/mlvirtmanager_connections.mli index eb11be8..f05d140 100644 --- a/mlvirtmanager/mlvirtmanager_connections.mli +++ b/mlvirtmanager/mlvirtmanager_connections.mli @@ -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.mli,v 1.1 2007/08/06 10:16:53 rjones Exp $ Handle connections and the complicated GtkTreeView which displays the connections / domains. diff --git a/mlvirtmanager/mlvirtmanager_domain_ops.ml b/mlvirtmanager/mlvirtmanager_domain_ops.ml index f02cd1f..b5fa09a 100644 --- a/mlvirtmanager/mlvirtmanager_domain_ops.ml +++ b/mlvirtmanager/mlvirtmanager_domain_ops.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_domain_ops.ml,v 1.1 2007/08/06 10:16:53 rjones Exp $ Domain operations buttons. *) diff --git a/mlvirtmanager/mlvirtmanager_domain_ops.mli b/mlvirtmanager/mlvirtmanager_domain_ops.mli index 9824b3a..af8902f 100644 --- a/mlvirtmanager/mlvirtmanager_domain_ops.mli +++ b/mlvirtmanager/mlvirtmanager_domain_ops.mli @@ -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_domain_ops.mli,v 1.1 2007/08/06 10:16:53 rjones Exp $ Domain operations buttons. *) diff --git a/mlvirtmanager/mlvirtmanager_helpers.ml b/mlvirtmanager/mlvirtmanager_helpers.ml index ff30253..3605102 100644 --- a/mlvirtmanager/mlvirtmanager_helpers.ml +++ b/mlvirtmanager/mlvirtmanager_helpers.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_helpers.ml,v 1.1 2007/08/06 10:16:53 rjones Exp $ *) module C = Libvirt.Connect diff --git a/mlvirtmanager/mlvirtmanager_helpers.mli b/mlvirtmanager/mlvirtmanager_helpers.mli index 2952636..4129eb7 100644 --- a/mlvirtmanager/mlvirtmanager_helpers.mli +++ b/mlvirtmanager/mlvirtmanager_helpers.mli @@ -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_helpers.mli,v 1.1 2007/08/06 10:16:53 rjones Exp $ Helper functions. *) 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 diff --git a/mlvirtmanager/mlvirtmanager_mainwindow.mli b/mlvirtmanager/mlvirtmanager_mainwindow.mli index 2ca9928..89eebc1 100644 --- a/mlvirtmanager/mlvirtmanager_mainwindow.mli +++ b/mlvirtmanager/mlvirtmanager_mainwindow.mli @@ -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.mli,v 1.1 2007/08/06 10:16:53 rjones Exp $ Make the main window. *) |