ontohub/ontohub — pull request #695 by 0robustus1 (2014-02-17 14:44:38+00:00)
Title: 690 pp xml stuff

Shall fix #690 by reading paths in from hets.

So now hets shall decide on the name of the xml-output and the pp-xml-output.