deegree/deegree3 — pull request #406 by dstenger (2014-09-10 11:43:32+00:00)
Title: crs manager

Improved resource handling of crs manager.