diff options
| author | Erich Eckner <git@eckner.net> | 2019-07-16 11:52:51 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2020-02-19 09:52:08 +0100 |
| commit | dcd57543b2e3f142bee7332787d632732a1b8809 (patch) | |
| tree | 34b8974a42c760342e92b1d0771ffa1c20975278 /Makefile | |
| parent | c57aaeba09fe93638179b11a95d315b23aff36dc (diff) | |
| download | devtools32-dcd57543b2e3f142bee7332787d632732a1b8809.tar.xz | |
mangle "armv6h" -> "armv6l"
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions