diff options
| author | Erich Eckner <git@eckner.net> | 2018-06-06 13:29:37 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2020-02-19 09:39:53 +0100 |
| commit | a71432c955d36916a3a52485520a2e693119b840 (patch) | |
| tree | 0cf8a4c04450ca6e91210c14ea117cae737a6f65 /doc | |
| parent | 6a7388283125e8d427cf260e6b4383b15473e5c2 (diff) | |
| download | devtools32-a71432c955d36916a3a52485520a2e693119b840.tar.xz | |
Makefile: devtools -> devtools32 in dist and upload targets
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions