diff options
author | Erich Eckner <git@eckner.net> | 2018-06-06 13:29:37 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2019-01-31 09:59:56 +0100 |
commit | b54ed951e458a28a82fd8bb0eed4d51f5f339f9c (patch) | |
tree | 3dec1b2ddb9a1af0da9546094a8567e4bcba7310 /archbuild.in | |
parent | 239280493ee05033665febdfa8c4357d5344b248 (diff) | |
download | devtools32-b54ed951e458a28a82fd8bb0eed4d51f5f339f9c.tar.xz |
Makefile: devtools -> devtools32 in dist and upload targets
Diffstat (limited to 'archbuild.in')
0 files changed, 0 insertions, 0 deletions