deegree/deegree3 — pull request #377 by dbretschneider (2014-08-08 15:30:09+00:00)
Title: Bugfix workspace 376

I have updated only the workspaces, which can be downloaded over the deegree console.