3.1.0

mintty · Nov 23, 2019 · 7937e78 · 7937e78
1 parent f4817d4
commit 7937e78
Show file tree

Hide file tree

Showing 15 changed files with 1,729 additions and 1,441 deletions.
diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-3.0.6
+3.1.0
diff --git a/docs/mintty.1.html b/docs/mintty.1.html