From 1b74e3679e90fe7ad142bb5f66610a0d92ac0165 Mon Sep 17 00:00:00 2001 From: Pim Snel Date: Wed, 13 Mar 2024 12:25:47 +0100 Subject: [PATCH] docs: update home-manager-option-search URL --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 805d2cfc..335edea7 100644 --- a/README.md +++ b/README.md @@ -17,7 +17,7 @@ For a systematic overview of Home Manager and its available options, please see: - [Home Manager manual][manual] - [Home Manager configuration options][configuration options] - [3rd party Home Manager option - search](https://mipmip.github.io/home-manager-option-search/) + search](https://home-manager-options.extranix.com/) If you would like to contribute to Home Manager, then please have a look at ["Contributing" in the manual][contributing].