diff options
| author | Erich Eckner <git@eckner.net> | 2018-06-06 13:29:37 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2020-02-13 08:19:43 +0100 |
| commit | 1946b5e53d6cc7f7ddc985651602ae0a2e715de6 (patch) | |
| tree | ec9e900410135cf994ac84c536aafbdc1e37dd36 /.gitignore | |
| parent | 0da46363f5ccb17e286d4f89bdd8e6bd2822684f (diff) | |
| download | devtools32-1946b5e53d6cc7f7ddc985651602ae0a2e715de6.tar.xz | |
Makefile: devtools -> devtools32 in dist and upload targets
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions