Gerben Jan Dijkman c01230b8c7 Added gnome-shell mobile		2022-10-03 16:14:36 +02:00
..
40.0-defaults.patch	Added gnome-shell mobile	2022-10-03 16:14:36 +02:00
42.0-optional-bluetooth.patch	Added gnome-shell mobile	2022-10-03 16:14:36 +02:00