# HG changeset patch # User Dario Sestito # Date 1275572240 -3600 # Node ID d3c5525768c526d7cc744aab2178c133aea7aff3 # Parent ce815f03e964ace49e6962c26f8d491cbac281e6 Take envinfo.pl from the utilities repo diff -r ce815f03e964 -r d3c5525768c5 common/build.xml --- a/common/build.xml Thu Jun 03 11:17:14 2010 +0100 +++ b/common/build.xml Thu Jun 03 14:37:20 2010 +0100 @@ -127,7 +127,7 @@ - END OF PROPERTY DEFINITIONS, TARGETS START HERE --> - + @@ -154,8 +154,9 @@ - - + + + @@ -251,7 +252,7 @@ - +