aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorGravatar David Bremner <bremner@debian.org>2012-08-20 13:53:50 +0200
committerGravatar David Bremner <bremner@debian.org>2012-08-20 13:53:50 +0200
commit2bd02b68a5e1302736949d950790c99ddf6c9067 (patch)
tree12b8df870362d3e33dae3911e2170ae6985a6b81
parent369b28d73697dbf6c605234d2498e732dea1cd24 (diff)
version: bump primary version
The date for man pages is taken from the last commit, so in this case it makes sense to do this in two commits.
-rw-r--r--version2
1 files changed, 1 insertions, 1 deletions
diff --git a/version b/version
index 9beb74d4..948a5472 100644
--- a/version
+++ b/version
@@ -1 +1 @@
-0.13.2
+0.14