On Wed, Jan 04, 2012 at 11:15:24AM +, Matthew Booth wrote:
> ---
> java/Makefile.inc |2 +-
> 1 files changed, 1 insertions(+), 1 deletions(-)
Thanks, I've pushed it.
Rich.
--
Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones
Read my programming blog: http:/
---
java/Makefile.inc |2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
diff --git a/java/Makefile.inc b/java/Makefile.inc
index 49b7db0..fddd937 100644
--- a/java/Makefile.inc
+++ b/java/Makefile.inc
@@ -3,7 +3,7 @@
# generator/generator_*.ml
# ANY CHANGES YOU MAKE TO THIS FILE WIL