diff options
| author | Erich Eckner <git@eckner.net> | 2018-06-06 13:29:37 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-08-18 20:19:42 +0200 |
| commit | e4faf834251e9ba77c3953ddac064ce9f7987b44 (patch) | |
| tree | bbb144367142c58497f55f2112d316f57d0e7a39 /doc/footer.asciidoc | |
| parent | ce807007739e5fc891ee153f5a5c033ad8dc63fe (diff) | |
| download | devtools-e4faf834251e9ba77c3953ddac064ce9f7987b44.tar.xz | |
Makefile: devtools -> devtools32 in dist and upload targets
Diffstat (limited to 'doc/footer.asciidoc')
0 files changed, 0 insertions, 0 deletions