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 |
