Correct build.properties.default file name in
authorrjung <rjung@13f79535-47bb-0310-9956-ffa450edef68>
Fri, 24 Jul 2009 12:14:05 +0000 (12:14 +0000)
committerrjung <rjung@13f79535-47bb-0310-9956-ffa450edef68>
Fri, 24 Jul 2009 12:14:05 +0000 (12:14 +0000)
commit8c314b35c88ada33ed963b62bb957665b9485e84
treea62ffb73e269393ff031b8ff4adb291493b25071
parent1cf8850961c10b0a47e73da58e508a58dc675d97
Correct build.properties.default file name in
more build files and explain more explicit how
the customization files work.

git-svn-id: https://svn.apache.org/repos/asf/tomcat/trunk@797425 13f79535-47bb-0310-9956-ffa450edef68
build.xml
dist.xml
extras.xml