about summary refs log tree commit diff
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2009-11-05T22·23+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2009-11-05T22·23+0000
commitc60d796f04f81b17330fbfc1e438ed207b1047f4 (patch)
tree4b04f3449b5598a5a47d68cc5c32750e7dd378a7
parente8bad77c7cd3ab11e0c131f138c3d18cdf80dbba (diff)
* Version bump.
-rw-r--r--version2
1 files changed, 1 insertions, 1 deletions
diff --git a/version b/version
index c2bdb5632d21..c64601b23de9 100644
--- a/version
+++ b/version
@@ -1 +1 @@
-0.13
\ No newline at end of file
+0.14
\ No newline at end of file