goobi/goobi-ugh — pull request #15 by henning-gerhardt (2014-12-11 08:51:25+00:00)
Title: Update build.xml file

Updating build.xml file:
- fix different / mixed indent
- remove empty lines
- remove out commented or useless statements
- use properties instead of hard coded values