diff options
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -6,7 +6,7 @@ CP := cp SED := sed # this is just a fallback in case you do not use git but downloaded # a release tarball... -VERSION := 0.7.2 +VERSION := 0.7.3 .DELETE_ON_ERROR: |