apps
|
gcr: rename from gnome3.gcr
|
2018-12-25 20:14:28 -05:00 |
core
|
gnome-menus: rename from gnome3.gnome-menus
|
2018-12-25 20:14:32 -05:00 |
devtools
|
gobject-introspection: rename package
|
2018-12-02 12:42:29 +01:00 |
extensions
|
gnomeExtensions.topicons-plus: 21 -> 22
|
2018-12-12 14:39:50 +01:00 |
games
|
gobject-introspection: rename package
|
2018-12-02 12:42:29 +01:00 |
misc
|
gcr: rename from gnome3.gcr
|
2018-12-25 20:14:28 -05:00 |
default.nix
|
gnome-menus: rename from gnome3.gnome-menus
|
2018-12-25 20:14:32 -05:00 |