|
apps
|
gnome3.gnome-music: 3.34.1 -> 3.34.2
|
2019-12-23 04:50:56 -08:00 |
|
core
|
Merge pull request #53843 from hedning/session-default
|
2019-12-18 21:16:06 +01:00 |
|
devtools
|
gjs: move to top-level
|
2019-11-05 00:47:04 +01:00 |
|
extensions
|
gnomeExtensions.workspace-grid: Remove
|
2019-12-08 13:53:18 -08:00 |
|
games
|
gnome3.iagno: 3.34.2 -> 3.34.3 (#74402)
|
2019-11-28 02:43:41 +01:00 |
|
default.nix
|
dconf: move to top-level
|
2019-12-01 01:01:40 +01:00 |
