gjdwebserver-overlay/gnome-base/gnome-shell/files
Gerben Jan Dijkman 94b121d574 Added gnome-shell
2021-04-08 10:58:20 +02:00
..
3.34-optional-bluetooth.patch Added gnome-shell 2021-04-08 10:58:20 +02:00
3.36-defaults.patch Added gnome-shell 2021-04-08 10:58:20 +02:00
40.0-defaults.patch Added gnome-shell 2021-04-08 10:58:20 +02:00
40.0-optional-bluetooth.patch Added gnome-shell 2021-04-08 10:58:20 +02:00