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 /.github/actions | |
| parent | 6791eb9685375da94556bb910ea71f78b08be5ec (diff) | |
Rename BindPat -> IdentPat
Diffstat (limited to '.github/actions')
0 files changed, 0 insertions, 0 deletions