diff options
| author | Erich Eckner <git@eckner.net> | 2018-06-06 13:29:37 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2022-12-08 12:57:22 +0100 |
| commit | c03044ec32e9c91d71a8c0ecbab327c1c1e90007 (patch) | |
| tree | de29dd3aa58164946feee874aea75016bdf266db /config | |
| parent | c8df79b8892672d27e1ee61fd3d7666755a67a3c (diff) | |
| download | devtools-c03044ec32e9c91d71a8c0ecbab327c1c1e90007.tar.xz | |
Makefile: devtools -> devtools32 in dist and upload targets
Diffstat (limited to 'config')
0 files changed, 0 insertions, 0 deletions