apps
|
gnome3.glade: 3.20.0 → 3.20.2
|
2017-12-04 02:07:52 +01:00 |
core
|
gnome3.gtksourceview: clean up
|
2017-12-13 06:31:28 +01:00 |
devtools
|
gnome3: 3.24 -> 3.26
|
2017-11-26 03:10:47 +01:00 |
extensions
|
gnomeExtensions.topicons-plus: 20 -> 21
|
2017-11-26 03:10:56 +01:00 |
games
|
gnome3.hitori: 3.22.0 → 3.22.2
|
2017-12-04 02:07:55 +01:00 |
misc
|
Merge pull request #32267 from jtojnar/gnome-updates
|
2017-12-07 22:29:55 +00:00 |
default.nix
|
gnome3.empathy: re-init at 3.12.14
|
2017-12-12 21:29:07 +01:00 |