Skip to content
This repository has been archived by the owner on Sep 6, 2021. It is now read-only.

Update CodeMirror #12609

Closed
ficristo opened this issue Jul 22, 2016 · 0 comments
Closed

Update CodeMirror #12609

ficristo opened this issue Jul 22, 2016 · 0 comments

Comments

@ficristo
Copy link
Collaborator

As usual there are some fixes on CodeMirror.
It would be nice to start looking at updating it.

/cc @marcelgerber @MiguelCastillo

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants