new revision for dev build

6 years ago · 73891f217d
1 changed files with 1 additions and 1 deletions
--- a/dist/version
+++ b/dist/version
@ -1 +1 @@
-1.3.12
+1.3.13.0