diff options
| author | Kevin Quick <kquick@galois.com> | 2020-09-28 08:58:14 -0700 |
|---|---|---|
| committer | Kevin Quick <kquick@galois.com> | 2020-09-28 08:58:14 -0700 |
| commit | bcb3da3b6b510bd24f2bc973b39bf43d92fad7ce (patch) | |
| tree | c929fc958590b919c7869d5837d85c8d4d57ee87 /scripts/local.mk | |
| parent | bd5328814fe8055b3f832a087afcf3ef11b06372 (diff) | |
Fix spelling error.
Diffstat (limited to 'scripts/local.mk')
0 files changed, 0 insertions, 0 deletions