From 2a8e2e030dee09f08e612ad4ddfc0ab221c80e8c Mon Sep 17 00:00:00 2001
From: Marijn Haverbeke <marijnh@gmail.com>
Date: Mon, 21 Mar 2016 11:37:37 +0100
Subject: [PATCH] Bump version number post-5.13
---
doc/manual.html | 2 +-
lib/codemirror.js | 2 +-
package.json | 2 +-
3 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/doc/manual.html b/doc/manual.html
index f5cb235d1..da2cc0bd3 100644
--- a/doc/manual.html
+++ b/doc/manual.html
@@ -69,7 +69,7 @@
<section class=first id=overview>
<h2 style="position: relative">
User manual and reference guide
- <span style="color: #888; font-size: 1rem; position: absolute; right: 0; bottom: 0">version 5.13.0</span>
+ <span style="color: #888; font-size: 1rem; position: absolute; right: 0; bottom: 0">version 5.13.1</span>
</h2>
<p>CodeMirror is a code-editor component that can be embedded in
diff --git a/lib/codemirror.js b/lib/codemirror.js
index 4779d12de..6090fd4f5 100644
--- a/lib/codemirror.js
+++ b/lib/codemirror.js
@@ -8893,7 +8893,7 @@
// THE END
- CodeMirror.version = "5.13.0";
+ CodeMirror.version = "5.13.1";
return CodeMirror;
});
diff --git a/package.json b/package.json
index 71ddfae93..feb4e813c 100644
--- a/package.json
+++ b/package.json
@@ -1,6 +1,6 @@
{
"name": "codemirror",
- "version":"5.13.0",
+ "version":"5.13.1",
"main": "lib/codemirror.js",
"description": "In-browser code editing made bearable",
"license": "MIT",
--
GitLab