diff options
| author | Erich Eckner <git@eckner.net> | 2018-06-06 13:29:37 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-08-22 11:13:59 +0200 |
| commit | 4d5c42ef176437d78703827e4be8d69a6ca910c9 (patch) | |
| tree | 129754938020c8f109f7e7d2b5913fcb620496c8 /lib | |
| parent | e7acd06a9259d99227ed3c943e051cd753a975d6 (diff) | |
| download | devtools32-4d5c42ef176437d78703827e4be8d69a6ca910c9.tar.xz | |
Makefile: devtools -> devtools32 in dist and upload targets
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions