mapbender/mapbender — pull request #244 by arsgeografica (2014-07-04 07:54:59+00:00)
Title: Feature/html css element

- Codemirror updated (2.2->4.3)
- HTML element added with CodeMirror based HTML editor
- CSS tab added to application edit, also with CodeMirror based CSS editor