diff options
author | Erich Eckner <git@eckner.net> | 2018-06-06 13:29:37 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2020-05-18 08:45:01 +0200 |
commit | ffd45f0f7c9d6ddbe0b70388c55189663050859c (patch) | |
tree | feacd508379d359fc9517082eebc6b2786ee4126 /archbuild.in | |
parent | 04aa8fab33367df70719a5b3fcececdf4b415a13 (diff) | |
download | devtools-ffd45f0f7c9d6ddbe0b70388c55189663050859c.tar.xz |
Makefile: devtools -> devtools32 in dist and upload targets
Diffstat (limited to 'archbuild.in')
0 files changed, 0 insertions, 0 deletions