mirror of
https://github.com/nix-community/home-manager
synced 2024-09-21 05:47:29 +02:00
docs: update home-manager-option-search URL
This commit is contained in:
parent
084f3378b7
commit
08ec2b4b40
1 changed files with 1 additions and 1 deletions
|
@ -17,7 +17,7 @@ For a systematic overview of Home Manager and its available options, please see:
|
||||||
- [Home Manager manual][manual]
|
- [Home Manager manual][manual]
|
||||||
- [Home Manager configuration options][configuration options]
|
- [Home Manager configuration options][configuration options]
|
||||||
- [3rd party Home Manager option
|
- [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
|
If you would like to contribute to Home Manager, then please have a look at
|
||||||
["Contributing" in the manual][contributing].
|
["Contributing" in the manual][contributing].
|
||||||
|
|
Loading…
Reference in a new issue