code mirror update to 5.40.2

This commit is contained in:
azivner
2018-10-07 12:02:07 +02:00
parent 0ce8d1e7e8
commit 5f95ab95c9
288 changed files with 1089 additions and 650 deletions

View File

@@ -9,7 +9,7 @@
<script src="dart.js"></script>
<style>.CodeMirror {border: 1px solid #dee;}</style>
<div id=nav>
<a href="http://codemirror.net"><h1>CodeMirror</h1><img id=logo src="../../doc/logo.png"></a>
<a href="https://codemirror.net"><h1>CodeMirror</h1><img id=logo src="../../doc/logo.png"></a>
<ul>
<li><a href="../../index.html">Home</a>