Alexander Ried 47f597b9b0 gnome-themes-standard: -> 3.22.1		2016-10-15 20:32:15 +02:00
..
3.20
3.22	gnome-themes-standard: -> 3.22.1	2016-10-15 20:32:15 +02:00
extensions