diff options
| author | Erich Eckner <git@eckner.net> | 2019-07-16 11:52:51 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-12-27 21:37:14 +0100 |
| commit | d28e4972d489ac3af145b258a5461035dba2b1d5 (patch) | |
| tree | 9f21c9ca034e20d3ee3ce13b1a3d6d0cd503fe9b /Makefile | |
| parent | 28fcc1eea750c5664a2c075a0068fe9d379b8b7d (diff) | |
| download | devtools32-d28e4972d489ac3af145b258a5461035dba2b1d5.tar.xz | |
mangle "armv6h" -> "armv6l"
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions