diff options
| author | Erich Eckner <git@eckner.net> | 2019-07-18 13:12:06 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-08-22 11:18:40 +0200 |
| commit | b67ea24b359c4ebc5499253e5e7b0b4fa9571b2e (patch) | |
| tree | 83a03106399e1d7203f25ec6a216ff8bfb3d5434 /lib | |
| parent | 6a823e9bd716c74c9a1d974df9548c4f77ca4c8a (diff) | |
| download | devtools32-b67ea24b359c4ebc5499253e5e7b0b4fa9571b2e.tar.xz | |
make armv7h, too
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions