Skip to content

gnomeExtensions: normalize pnames#124295

Merged
jtojnar merged 1 commit intoNixOS:masterfrom
jtojnar:gnome-extension-cleanups
May 24, 2021
Merged

gnomeExtensions: normalize pnames#124295
jtojnar merged 1 commit intoNixOS:masterfrom
jtojnar:gnome-extension-cleanups

Commits

Commits on May 24, 2021