diff options
| author | Erich Eckner <git@eckner.net> | 2018-06-06 13:29:37 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-09-14 14:14:08 +0200 |
| commit | 7c3fefe4646a3c63299b4f158871d1d95771973b (patch) | |
| tree | 96663fce55744e0b4161887a03727d9ef86d41ac /lib | |
| parent | 0683d606d7006bbed09c2d6739d113b6477a6393 (diff) | |
| download | devtools32-7c3fefe4646a3c63299b4f158871d1d95771973b.tar.xz | |
Makefile: devtools -> devtools32 in dist and upload targets
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions