Bump version number to 5.13.5

marijnh · marijnh · commit 225a35fc4a10 · 2016-04-06T21:55:28.000+02:00
5.13.4 was a trivial release restoring a LICENSE file.
diff --git 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.3</span>
+      <span style="color: #888; font-size: 1rem; position: absolute; right: 0; bottom: 0">version 5.13.5</span>
     </h2>
 
     <p>CodeMirror is a code-editor component that can be embedded in
diff --git a/lib/codemirror.js b/lib/codemirror.js
@@ -8890,7 +8890,7 @@
 
   // THE END
 
-  CodeMirror.version = "5.13.3";
+  CodeMirror.version = "5.13.5";
 
   return CodeMirror;
 });
diff --git a/package.json b/package.json
@@ -1,6 +1,6 @@
 {
     "name": "codemirror",
-    "version":"5.13.3",
+    "version":"5.13.5",
     "main": "lib/codemirror.js",
     "description": "In-browser code editing made bearable",
     "license": "MIT",

Original file line number	Diff line number	Diff line change
`@@ -1,6 +1,6 @@`
`1`	`1`	`{`
`2`	`2`	`"name": "codemirror",`
`3`		`- "version":"5.13.3",`
	`3`	`+ "version":"5.13.5",`
`4`	`4`	`"main": "lib/codemirror.js",`
`5`	`5`	`"description": "In-browser code editing made bearable",`
`6`	`6`	`"license": "MIT",`