nix-community/home-manager
1
0
Fork 0
mirror of https://github.com/nix-community/home-manager.git synced 2025-12-05 08:31:03 +01:00
Code Activity

deploy: 9ef92f1c6b

Browse source
This commit is contained in:
rycee 2025-05-10 21:31:10 +00:00
parent f83e99c059
commit e4c2d0a59a
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
options.xhtml
View file

@ -64790,7 +64790,7 @@ JSON value</p>
</dt> </dt>
<dd> <dd>
<p>Configuration settings for WaveTerm. All available options can be <p>Configuration settings for WaveTerm. All available options can be
found here: &lt;\https://docs.waveterm.dev/config#configuration-keys&gt;.</p> found here: <a class="link" href="https://docs.waveterm.dev/config#configuration-keys" target="_top">https://docs.waveterm.dev/config#configuration-keys</a>.</p>
<p><span class="emphasis"><em>Type:</em></span> <p><span class="emphasis"><em>Type:</em></span>
JSON value</p> JSON value</p>