mirrors/home-manager
1
0
Fork 0
mirror of https://github.com/nix-community/home-manager.git synced 2024-12-14 11:57:55 +00:00
Code Activity

deploy: e526fd2b1a

Browse source
This commit is contained in:
teto 2024-12-12 20:59:29 +00:00
parent ecb75e3142
commit 335778c080
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
options.xhtml
View file

@ -24451,7 +24451,7 @@ list of (submodule)</p>
{ package = pkgs.gnomeExtensions.dash-to-panel; } { package = pkgs.gnomeExtensions.dash-to-panel; }
{ {
id = &quot;user-theme@gnome-shell-extensions.gcampax.github.com&quot;; id = &quot;user-theme@gnome-shell-extensions.gcampax.github.com&quot;;
package = pkgs.gnome.gnome-shell-extensions; package = pkgs.gnome-shell-extensions;
} }
] ]
@ -24480,7 +24480,7 @@ list of (submodule)</p>
package</p> package</p>
<p><span class="emphasis"><em>Example:</em></span> <p><span class="emphasis"><em>Example:</em></span>
<code class="literal">&quot;pkgs.gnome.gnome-shell-extensions&quot;</code></p> <code class="literal">&quot;pkgs.gnome-shell-extensions&quot;</code></p>
<p><span class="emphasis"><em>Declared by:</em></span></p> <p><span class="emphasis"><em>Declared by:</em></span></p>
<table border="0" summary="Simple list" class="simplelist"> <table border="0" summary="Simple list" class="simplelist">