diff options
author | Palmer Dabbelt <palmer@dabbelt.com> | 2017-06-09 23:20:22 -0700 |
---|---|---|
committer | Palmer Dabbelt <palmer@dabbelt.com> | 2017-06-09 23:23:42 -0700 |
commit | 323592969d8d60a5c262aba34c2d75980208dab8 (patch) | |
tree | ff3a10b9a6980b7db1710b1196e908174467d58b /scripts | |
parent | 48548288b65e542d456071e3044c6a86add2eddf (diff) |
Use the correct global pointer symbol
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions