Hans-Christoph Steiner 851e13f485 move all ant settings to project.properties
No need in having them scattered across multiple files.
2014-12-11 13:59:29 +01:00
..
2014-12-09 15:55:13 +01:00
2014-12-09 15:55:13 +01:00