diff -r 58622a0f9485 -r c6e4728ac9f7 build.properties --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/build.properties Tue Apr 14 16:56:20 2009 +0200 @@ -0,0 +1,3 @@ +external-libs=libs +javadoc-output=doc/javadoc +