iso-profiles/community/cinnamon/desktop-overlay
2017-06-21 19:35:53 +02:00
..
etc [cinnamon] switch to slick-greeter 2017-06-21 19:35:53 +02:00
usr/share/icons/default rm cinnamon-settings.py 2016-11-21 11:26:32 +01:00