overlay/x11-themes
2018-05-08 06:50:18 +02:00
..
paper-gtk-theme populate overlay 2018-05-08 06:50:18 +02:00
paper-icon-theme populate overlay 2018-05-08 06:50:18 +02:00