diff options
| author | Erich Eckner <git@eckner.net> | 2017-12-18 09:34:32 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-12-18 09:34:32 +0100 |
| commit | 67add3cf482294f80d46960a5c52176a2bf90f51 (patch) | |
| tree | fba1c0182b5cca8c2905b919395cd51b4f5a385d | |
| parent | 4c4b6758a6558350dc38ae4b0bee0d7eab837ad1 (diff) | |
| download | devtools-67add3cf482294f80d46960a5c52176a2bf90f51.tar.xz | |
Version 20171218v20171218archlinux32/v20171218
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,4 +1,4 @@ -V=20171108 +V=20171218 PREFIX = /usr/local |