goobi/goobi-production — pull request #10 by henning-gerhardt (2013-04-29 09:09:28+00:00)
Title: Copy additional files on export

Feature: copying additional files on export.