1
0
Fork 0
mirror of https://github.com/nix-community/home-manager.git synced 2025-11-08 19:46:05 +01:00

waveterm: fix markdown in description

This commit is contained in:
Robert Helgesson 2025-05-10 21:26:37 +02:00
parent 13289f0642
commit 9ef92f1c6b
No known key found for this signature in database
GPG key ID: 96E745BD17AA17ED

View file

@ -40,7 +40,7 @@ in
}; };
description = '' description = ''
Configuration settings for WaveTerm. All available options can be Configuration settings for WaveTerm. All available options can be
found here: <\https://docs.waveterm.dev/config#configuration-keys>. found here: <https://docs.waveterm.dev/config#configuration-keys>.
''; '';
}; };