1
0
Fork 0
mirror of https://github.com/nix-community/home-manager synced 2024-11-30 06:59:45 +01:00

docs: update home-manager-option-search URL

This commit is contained in:
Pim Snel 2024-03-13 12:25:47 +01:00 committed by GitHub
parent dab2437ca0
commit 1b74e3679e
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -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].