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 | |
| parent | 25133fcd17f1edef751d70a649170013c0b01dbf (diff) | |
| download | devtools-0.9.13.tar.gz devtools-0.9.13.tar.xz | |
bugfix release0.9.13
| -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: |