diff options
| author | Aleksey Kladov <[email protected]> | 2019-09-13 14:39:51 +0100 |
|---|---|---|
| committer | Aleksey Kladov <[email protected]> | 2019-09-13 14:39:51 +0100 |
| commit | 7be7f67198c617ad482717d9bf2c7dca9c2cd169 (patch) | |
| tree | 5fa82899fc15f5739ef80997c04fd9cc8153e786 /.github | |
| parent | 2fbe79ed9adaeb93e0c9b8bc1d7f67dff075b8dd (diff) | |
rename add_resolution -> add_scope_def
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions