Bump version for development.

obilaniu · Jul 24, 2020 · 7c13838 · 7c13838
1 parent f26ff99
commit 7c13838
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/versioning.py b/scripts/versioning.py
@@ -16,7 +16,7 @@
 # which has a well-defined normalization.
 #
 
-verPublic  = "0.0.13"
+verPublic  = "0.0.14.dev0"
 
 #
 # Information computed from the public version.