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

SJost 4a394d2050 Labels adjusted, HelpForm not working before Login due to Modal-Login not being hidden properly, see #212		2018-10-18 16:38:54 +02:00
..
tasks.json	Labels adjusted, HelpForm not working before Login due to Modal-Login not being hidden properly, see #212	2018-10-18 16:38:54 +02:00