# HG changeset patch # User Thomas Wuerthinger # Date 1366708828 -7200 # Node ID 136cc8fd889041519b27efd81d4e24f8961b3a9d # Parent ee3a9188c65e9b97c215a3faeaaffae801f850b3 Modified build-graal.xml diff -r ee3a9188c65e -r 136cc8fd8890 make/build-graal.xml --- a/make/build-graal.xml Mon Apr 22 17:09:02 2013 +0200 +++ b/make/build-graal.xml Tue Apr 23 11:20:28 2013 +0200 @@ -74,16 +74,7 @@ - - - - - - - - - - +