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 /doc | |
| parent | 04aa8fab33367df70719a5b3fcececdf4b415a13 (diff) | |
| download | devtools32-ffd45f0f7c9d6ddbe0b70388c55189663050859c.tar.xz | |
Makefile: devtools -> devtools32 in dist and upload targets
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions