web2py/web2py — pull request #112 by ilvalle (2013-06-21 14:08:02+00:00)
Title: codemirror 3.14

- update codemirror
- added addon trailing space highlight