diff options
Diffstat (limited to 'mlvirsh')
| -rw-r--r-- | mlvirsh/Makefile.in | 2 | ||||
| -rw-r--r-- | mlvirsh/mlvirsh.ml | 1 |
2 files changed, 0 insertions, 3 deletions
diff --git a/mlvirsh/Makefile.in b/mlvirsh/Makefile.in index 3798962..0483253 100644 --- a/mlvirsh/Makefile.in +++ b/mlvirsh/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/mlvirsh/mlvirsh.ml b/mlvirsh/mlvirsh.ml index 5b63a77..9ce8b7e 100644 --- a/mlvirsh/mlvirsh.ml +++ b/mlvirsh/mlvirsh.ml @@ -1,7 +1,6 @@ (* virsh-like command line tool. (C) Copyright 2007 Richard W.M. Jones, Red Hat Inc. http://libvirt.org/ - $Id: mlvirsh.ml,v 1.2 2007/08/21 13:24:09 rjones Exp $ *) open ExtString |