diff options
author | David Bremner <bremner@debian.org> | 2012-08-20 13:53:50 +0200 |
---|---|---|
committer | David Bremner <bremner@debian.org> | 2012-08-20 13:53:50 +0200 |
commit | 2bd02b68a5e1302736949d950790c99ddf6c9067 (patch) | |
tree | 12b8df870362d3e33dae3911e2170ae6985a6b81 | |
parent | 369b28d73697dbf6c605234d2498e732dea1cd24 (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-- | version | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1 +1 @@ -0.13.2 +0.14 |