goobi/goobi-production — pull request #258 by matthias-ronge (2014-11-18 10:35:49+00:00)
Title: Merge: Reorganize and group entries in goobi_config.properties

I tried to re-sort and group the configuration entries.