diff options
author | 2020-10-16 22:19:35 -0400 | |
---|---|---|
committer | 2020-10-16 21:19:35 -0500 | |
commit | f395e1fe5925dc5f6e8892e71b8764f577528f22 (patch) | |
tree | 73f7d4576509b9f5ac9e27269ce76ca88dd1b0dc /source/github-helpers/github-url.ts | |
parent | f7b2cf4e462d6be4058d6b278094533197773049 (diff) | |
download | refined-github-f395e1fe5925dc5f6e8892e71b8764f577528f22.tar.gz refined-github-f395e1fe5925dc5f6e8892e71b8764f577528f22.tar.zst refined-github-f395e1fe5925dc5f6e8892e71b8764f577528f22.zip |
Fix `profile-hotkey` on Gist pages (#3661)
Co-authored-by: Federico <me@fregante.com>
Diffstat (limited to 'source/github-helpers/github-url.ts')
0 files changed, 0 insertions, 0 deletions