Deve 70469dafb5 Use shorter name for user interface tab		2019-10-06 23:20:30 +02:00
..
dialogs	Some GUI tweaks	2019-10-05 23:48:44 +02:00
icons	Clean icon name (Improve PR#4073) (#4081)	2019-10-06 01:14:09 +08:00
screens	Use shorter name for user interface tab	2019-10-06 23:20:30 +02:00