diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2013-10-20 13:32:16 +0200 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2013-10-20 13:32:16 +0200 |
| commit | 164f5b758d56ce36ac8b087c1d55b8719555711f (patch) | |
| tree | 0cb9d633be95956031d439430fa5096c394a0bb2 | |
| parent | 1ae58aed5bbb12d9e08c5bc06d8fafcc04914366 (diff) | |
| download | devtools-164f5b758d56ce36ac8b087c1d55b8719555711f.tar.gz devtools-164f5b758d56ce36ac8b087c1d55b8719555711f.tar.xz | |
prepare release20131020
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,4 +1,4 @@ -V=20130808 +V=20131020 PREFIX = /usr/local |