diff options
| author | Aleksey Kladov <[email protected]> | 2020-07-31 19:09:09 +0100 |
|---|---|---|
| committer | Aleksey Kladov <[email protected]> | 2020-07-31 19:12:10 +0100 |
| commit | 98181087984157e27faba0b969e384f3c62c39d5 (patch) | |
| tree | 0032223efeefca76340fb0a97f6f12d0e432a2a9 /editors/code/src | |
| parent | 6791eb9685375da94556bb910ea71f78b08be5ec (diff) | |
Rename BindPat -> IdentPat
Diffstat (limited to 'editors/code/src')
0 files changed, 0 insertions, 0 deletions