Increase version number 0.71.

PerBothner · Feb 19, 2017 · eb34b2c · eb34b2c
1 parent ddeb305
commit eb34b2c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/hlib/terminal.js b/hlib/terminal.js
@@ -143,7 +143,7 @@ function DomTerm(name, topNode) {
 
     this.verbosity = 0;
 
-    this.versionString = "0.70";
+    this.versionString = "0.71";
     this.versionInfo = "version="+this.versionString;
 
     // Use the doLineEdit function when isLineEditing().