diff options
| author | Prashanth Mundkur | 2018-04-18 15:01:43 -0700 |
|---|---|---|
| committer | Prashanth Mundkur | 2018-04-18 15:37:50 -0700 |
| commit | 2bf408e37eabfa0dfb7cee5165a4208de5846b9e (patch) | |
| tree | 8fac5c095979e29a126d1659e16ac3a044cc0eaf /editors | |
| parent | e5da122d95fe77fcc44bc832f90c79435b947a8a (diff) | |
Fix mideleg semantics after spec clarification from Andrew Waterman.
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions