diff options
author | 2021-10-07 20:26:39 +0530 | |
---|---|---|
committer | 2021-10-07 16:56:39 +0200 | |
commit | e69a7872ce0479f35daef9fc5183b02b51d065ac (patch) | |
tree | 94fb0fe8448a203295d40e68662dadc7a8e84530 /source/features/quick-pr-diff-options.tsx | |
parent | 90ad3b20c70681ca0ee85ef341e1818a887f9462 (diff) | |
download | refined-github-e69a7872ce0479f35daef9fc5183b02b51d065ac.tar.gz refined-github-e69a7872ce0479f35daef9fc5183b02b51d065ac.tar.zst refined-github-e69a7872ce0479f35daef9fc5183b02b51d065ac.zip |
Rename `navigate-pages-with-arrow-keys` to `pagination-hotkey` (#4743)
Diffstat (limited to 'source/features/quick-pr-diff-options.tsx')
0 files changed, 0 insertions, 0 deletions