search

pop-os / default-settings

Distribution Default Settings
Other
44 stars 16 forks source link

Put gnome-shell-extensions-prefs into Utility folder #77

Closed brs17 closed 4 years ago

brs17 commented 4 years ago

Fixes https://github.com/pop-os/default-settings/issues/76