Marco Martin 8aac7a2b9c don't show the task manager if there are no tasks		2015-10-01 17:28:09 +02:00
..
contents/ui	don't show the task manager if there are no tasks	2015-10-01 17:28:09 +02:00
metadata.desktop	maximized widgets explorer	2015-07-09 15:20:24 +02:00