##// END OF EJS Templates
Revert "patch deletion in codemirror"...
Revert "patch deletion in codemirror" This reverts commit 331a5f7fe85a6e894c35b64cd7987ed53f59ea57.
Matthias BUSSONNIER -
r9514:44eca61d
Show More