Skip to content

gnome: Package all the Gnome extensions … again?!#118232

Merged
jtojnar merged 2 commits intoNixOS:masterfrom
piegamesde:gnome-extensions
May 21, 2021
Merged

gnome: Package all the Gnome extensions … again?!#118232
jtojnar merged 2 commits intoNixOS:masterfrom
piegamesde:gnome-extensions

Commits

Commits on May 21, 2021