deegree/deegree3 — pull request #199 by wanhoff (2013-11-29 13:13:32+00:00)
Title: Feature/digits mapping 3.3

The same as https://github.com/deegree/deegree3/pull/198, just for deegree 3.3.