diff options
| author | StefanVukovic99 <stefanvukovic44@gmail.com> | 2024-02-15 04:29:46 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-02-15 03:29:46 +0000 |
| commit | f134664ff28c6a3ba8e2a2689b01a4d4a7efbe22 (patch) | |
| tree | ca868be63f577c2986be20a62c0a177b4425ab33 /ext/settings.html | |
| parent | dd27c3813c5442f70e997f644459617852bf629a (diff) | |
add missing setting (#680)
Diffstat (limited to 'ext/settings.html')
| -rw-r--r-- | ext/settings.html | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/ext/settings.html b/ext/settings.html index 91d6d7b9..5982951a 100644 --- a/ext/settings.html +++ b/ext/settings.html @@ -2696,7 +2696,6 @@ <p><a tabindex="0" class="more-toggle" data-parent-distance="3">Hide…</a></p> </div> </div> - <hr> <div class="settings-item dictionary-use-deinflections-setting" hidden> <div class="settings-item-inner"> <div class="settings-item-left"> |