diff options
| author | Jan Alexander Steffens (heftig) <jan.steffens@gmail.com> | 2018-05-31 16:05:49 +0200 |
|---|---|---|
| committer | Jan Alexander Steffens (heftig) <jan.steffens@gmail.com> | 2018-05-31 16:05:49 +0200 |
| commit | 6364b3c9b9fae2b43bf3e02b9e84c814fc3f502f (patch) | |
| tree | 1801a827b7f7f852e343661b660b33c91e892165 | |
| parent | 98ff92f4675aeab379b9d5ed85e68778e1cc0dfe (diff) | |
| download | devtools-20180531.tar.gz devtools-20180531.tar.xz | |
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,4 +1,4 @@ -V=20180528 +V=20180531 PREFIX = /usr/local |