diff options
author | Erich Eckner <git@eckner.net> | 2018-06-06 13:29:37 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2020-04-08 08:45:45 +0200 |
commit | cfdc8066c42b327d0916481809c5224b89fb48a5 (patch) | |
tree | 9575babdfda68bdceab8beabe1f9ce91157e2b20 /.gitignore | |
parent | 10d27c2232312baf2f36cb0e503110787b707399 (diff) | |
download | devtools32-cfdc8066c42b327d0916481809c5224b89fb48a5.tar.xz |
Makefile: devtools -> devtools32 in dist and upload targets
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions