diff options
| author | 2022-10-11 20:51:18 +0000 | |
|---|---|---|
| committer | 2022-10-11 20:51:18 +0000 | |
| commit | 58fecb427fb2109e4ae0a0761c340474984aae43 (patch) | |
| tree | 907d1239d72110eaff21b7680d397b7538fc9779 /scripts/jsonmodify.py | |
| parent | 45891bd93aeb7a3831cf6023dbc2642df4641bf5 (diff) | |
| parent | 1deeade634db32b1672b49ef99fdf678036c6b8d (diff) | |
Merge "Disable stripping for riscv64"
Diffstat (limited to 'scripts/jsonmodify.py')
0 files changed, 0 insertions, 0 deletions