diff options
Diffstat (limited to '')
| -rw-r--r-- | home-manager/config/firefox/default.nix | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/home-manager/config/firefox/default.nix b/home-manager/config/firefox/default.nix index 52df02f6..2a1a56cb 100644 --- a/home-manager/config/firefox/default.nix +++ b/home-manager/config/firefox/default.nix @@ -19,6 +19,11 @@ name = "DeepL Translate"; url = "https://www.deepl.com/translator#en/de/test"; } + + { + name = "HM Options"; + url = "https://mipmip.github.io/home-manager-option-search/"; + } ]; firefoxBookmarksFile = bookmarks: let indent = level: |