diff options
| author | Erich Eckner <git@eckner.net> | 2019-07-16 11:52:51 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-11-30 22:09:39 +0100 |
| commit | dff5fabcebfb5c1a625af94580144865c952ab15 (patch) | |
| tree | 053d349f7053bb05e6d259ca52559ed646fbdc5e /doc | |
| parent | 8f9c974941fc4b7a00ebc08be318c4d15be3afcc (diff) | |
| download | devtools-dff5fabcebfb5c1a625af94580144865c952ab15.tar.xz | |
mangle "armv6h" -> "armv6l"
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions