diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2010-11-22 19:14:47 +0100 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2010-11-22 19:14:47 +0100 |
commit | 372fb4e7d135419ae63d022588f218edab8c5ce2 (patch) | |
tree | 6a8896d5dee3163a160646939b94a375dfbd067a /Makefile | |
parent | 25133fcd17f1edef751d70a649170013c0b01dbf (diff) | |
download | devtools-372fb4e7d135419ae63d022588f218edab8c5ce2.tar.xz |
bugfix release0.9.13
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,4 +1,4 @@ -V=0.9.12 +V=0.9.13 all: |