diff -r 2198184978d5 -r c1d43bc1e9c0 build.xml --- a/build.xml Wed Oct 01 11:23:11 2008 +0200 +++ b/build.xml Sat Oct 11 10:49:25 2008 +0200 @@ -3,6 +3,7 @@ +