diff options
| author |  Federico Brigante <opensource@bfred.it>
| 2020-05-26 01:09:52 +0200 |
|---|---|---|
| committer | Federico Brigante <opensource@bfred.it>
| 2020-05-26 01:09:52 +0200 |
| commit | ef3cee995f8ba8da5337d8220f8ceed80d43febf (patch) | |
| tree | c903754a178caed138dc0df94ae858cbd63f6938 /source/github-helpers/github-url.ts | |
| parent | 247ae2f9dbc6e005241554077466d99bbbb0cab6 (diff) | |
| download | refined-github-ef3cee995f8ba8da5337d8220f8ceed80d43febf.tar.gz refined-github-ef3cee995f8ba8da5337d8220f8ceed80d43febf.tar.zst refined-github-ef3cee995f8ba8da5337d8220f8ceed80d43febf.zip | |
Meta: don't show `index` among the features in the options page
Fixes #3139
Diffstat (limited to 'source/github-helpers/github-url.ts')
0 files changed, 0 insertions, 0 deletions