From ad44ab3f3fc020052884ffb554a8976ce7b4082c Mon Sep 17 00:00:00 2001
From: Michael Zhou <zhoumotongxue008@gmail.com>
Date: Wed, 20 Apr 2016 12:06:01 -0400
Subject: [PATCH] Update the "current version" in index.html
Update from 5.13.2 to 5.14.0.
---
index.html | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/index.html b/index.html
index da5a06c49..0893e0f8f 100644
--- a/index.html
+++ b/index.html
@@ -96,7 +96,7 @@
</div>
</div>
<div class=actionsleft>
- Get the current version: <a href="http://codemirror.net/codemirror.zip">5.13.2</a>.<br>
+ Get the current version: <a href="http://codemirror.net/codemirror.zip">5.14.0</a>.<br>
You can see the <a href="https://github.com/codemirror/codemirror" title="Github repository">code</a> or<br>
read the <a href="doc/releases.html">release notes</a>.<br>
There is a <a href="doc/compress.html">minification helper</a>.
@@ -113,7 +113,7 @@
</form>
</div>
</div>
-
+
</section>
<section id=features>
--
GitLab