diff options
| author | Erich Eckner <git@eckner.net> | 2018-06-06 13:29:37 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-12-27 21:37:13 +0100 |
| commit | f725262bc3ad98df35fb835b4f8a0d6965504283 (patch) | |
| tree | 1477c40e6fcb74c2d4d8ad47989e9fddbed3e245 /doc | |
| parent | e716e79b58d32b13473208c8ee395f9a3b52eb09 (diff) | |
| download | devtools-f725262bc3ad98df35fb835b4f8a0d6965504283.tar.xz | |
Makefile: devtools -> devtools32 in dist and upload targets
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions