guinux e032dfa8f0 move refresh button and do not auto-refresh at manager startup		2014-02-12 16:06:15 +01:00
..
dialogs.ui	move refresh button and do not auto-refresh at manager startup	2014-02-12 16:06:15 +01:00
manager.ui	move refresh button and do not auto-refresh at manager startup	2014-02-12 16:06:15 +01:00
updater.ui	introducing settings support	2014-01-29 15:44:19 +01:00