diff options
| author | 2020-06-16 21:45:06 +0000 | |
|---|---|---|
| committer | 2020-06-16 21:45:06 +0000 | |
| commit | e6c1d800725efa2d67f899ebfde8232883094aa0 (patch) | |
| tree | 710b4788b9cdbdc9c7f4078e9a42c79dbcce477b /scripts/lint-project-xml.py | |
| parent | 549a0d866a731820ed34e18bc987d7fb82fda4a7 (diff) | |
| parent | 502f901e17c7b3bfc8994562d91c5db6420edc40 (diff) | |
Merge "Prefer armv8.2-a to armv8.2a for GNU as compatibility"
Diffstat (limited to 'scripts/lint-project-xml.py')
0 files changed, 0 insertions, 0 deletions