eeva/home-manager
1
0
Fork 0
mirror of https://github.com/nix-community/home-manager synced 2024-11-27 05:29:46 +01:00
Code Issues Releases Wiki Activity

deploy: e9b9ecef42

Browse source
This commit is contained in:
rycee 2023-12-16 14:01:58 +00:00
parent 44faf1c824
commit 333af3d7ec
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
options.xhtml
View file

@ -6894,7 +6894,7 @@ null or (submodule)</p>
<dd>
<p>Package providing the theme. This package will be installed
to your profile. If <code class="literal">null</code> then the theme
is assumed to already be available in your profile.</p>
is assumed to already be available in your profile.</p><p>For the theme to apply to GTK 4, this option is mandatory.</p>
<p><span class="emphasis"><em>Type:</em></span>
null or package</p>