diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2016-09-05 14:42:10 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-09-05 14:42:10 +0200 |
| commit | f8db312d79e68606fc741d9b4e27fab8e6321fcd (patch) | |
| tree | 24d82fc1e4cda04eeec9b6e52bceb68751bf8e20 /tools | |
| parent | 255fdfb938066c5e7eebe9bb72803fa94a474973 (diff) | |
| parent | 9f43de7f6eadd9b96ff419999c04a3454b870314 (diff) | |
Merge pull request #67 from ramosian-glider/extract_sh
extract.sh: allow generating constants for Android devices.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions