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