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 | devtools32-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 |