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 /website/src/index.html | |
parent | 2fbe79ed9adaeb93e0c9b8bc1d7f67dff075b8dd (diff) |
rename add_resolution -> add_scope_def
Diffstat (limited to 'website/src/index.html')
0 files changed, 0 insertions, 0 deletions