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