diff -r 9301d732a0be -r aa51b44f83c0 platform_updated/job_props.ant.xml --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/platform_updated/job_props.ant.xml Tue Apr 21 13:50:28 2009 +0100 @@ -0,0 +1,61 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +