Michael Zhou 4919dd852f Update CodeMirror to 5.18.2 ...

Highlights include:
  - Make sure gutter backgrounds stick to the rest of the gutter during
    horizontal scrolling.
  - JavaScript mode: Fix some small parsing bugs and improve TypeScript
    support.
  - The "jade" mode has been renamed to "pug".

Change-Id: I5079f75490586aec851d5cf99860a91b1a5d590b

2016-08-23 22:21:48 -04:00

..

BUCK

Update CodeMirror to 5.18.2

2016-08-23 22:21:48 -04:00

cm.defs

Update CodeMirror to 5.18.2

2016-08-23 22:21:48 -04:00