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 /version | |
| 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.
Diffstat (limited to 'version')
| -rw-r--r-- | version | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1 +1 @@ -0.13.2 +0.14 |