This repository has been archived on 2021-12-05. You can view files and clone it, but cannot push or open issues or pull requests.

delvh f68412a752 Merge branch 'develop' into f/enhanced_UI		2020-06-26 20:18:00 +02:00
..
java	Merge branch 'develop' into f/enhanced_UI	2020-06-26 20:18:00 +02:00
resources	Added display of settings-icon for the settings button	2020-06-26 17:33:32 +02:00