do not generate double headers
[surrogator.git] / build.properties.dist
2012-08-17 Christian Weiskephing build file to create and deploy releases