web2py/web2py — pull request #111 by ilvalle (2013-06-21 08:40:29+00:00)
Title: Codemirror 3.14

- update codemirror
- added addon trailing space highlight