mirrors/home-manager
mirrors/home-manager
1
0
Fork 0
mirror of https://github.com/nix-community/home-manager.git synced 2025-04-08 18:18:38 +00:00
Code Activity

deploy: f2d32e46fa

Browse source
This commit is contained in:
rycee 2025-02-04 23:29:03 +00:00
parent 688da5dde0
commit 84e5e05cda
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

@ -45655,7 +45655,7 @@ boolean</p>
package</p>
<p><span class="emphasis"><em>Default:</em></span>
<code class="literal">&lt;derivation rofi-1.7.7&gt;</code></p>
<code class="literal">&lt;derivation rofi-1.7.8&gt;</code></p>
<p><span class="emphasis"><em>Example:</em></span></p><pre><code class="programlisting">pkgs.rofi.override { plugins = [ pkgs.rofi-emoji ]; };