diff options
| author | Erich Eckner <git@eckner.net> | 2019-07-18 13:12:06 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2020-02-20 08:18:02 +0100 |
| commit | af2c45d1ada9870056f11bd3619bcc04c60dea8a (patch) | |
| tree | 2ca902222a14be2600d9f667b4ac4cd2bb34fd41 /lib | |
| parent | 15ac0e08258ffe363b4cc7d97461e6f60e57e4d5 (diff) | |
| download | devtools-af2c45d1ada9870056f11bd3619bcc04c60dea8a.tar.xz | |
make armv7h, too
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions