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