shift-shell/shell
2015-05-15 13:53:03 +02:00
..
contents taller panel by default 2015-05-15 13:53:03 +02:00
metadata.desktop better name 2014-09-26 21:07:19 +02:00