diff options
| author | Erich Eckner <git@eckner.net> | 2019-07-18 13:12:06 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2020-02-19 09:52:09 +0100 |
| commit | d800450a075a86f2cbf83594f43cd6c83d710b36 (patch) | |
| tree | e598db3ee2b252d223fd4f3607c69f8610aa3076 /doc | |
| parent | 79b2768f384859583f2b4f58acaa1931f571661a (diff) | |
| download | devtools32-d800450a075a86f2cbf83594f43cd6c83d710b36.tar.xz | |
make armv7h, too
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions