diff options
| author | Erich Eckner <git@eckner.net> | 2018-06-06 13:29:37 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-10-09 14:13:08 +0200 |
| commit | 61ec71203519cfb7f2eda12595937cefea242ad5 (patch) | |
| tree | e5019b44f0ec043e5acb8f5c924d66b87d208280 /offload-build | |
| parent | c95e7cb5100f70ff2b32bed566ee6959a72e1412 (diff) | |
| download | devtools32-61ec71203519cfb7f2eda12595937cefea242ad5.tar.xz | |
Makefile: devtools -> devtools32 in dist and upload targets
Diffstat (limited to 'offload-build')
0 files changed, 0 insertions, 0 deletions