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