elexis d7ff9722c6 Don't delay the pyrogenesis shutdown for 5 minutes but at most 10 seconds if the server is not responding, refs #968; ... in particular Philips server not responding to SSL which became a requirement by the client following 209bab0255 or following GDPR 32.1.a, refs #5257 while the new backend is not ready yet. Mark file emptied in 209bab0255 as deleted. Add scrolling to the UserReporter window, so that the timeout error strings that became visible following the bugfixes in b496168d0a and c898c19735 and don't overlap with the buttons. This was SVN commit r21900.		2018-10-09 16:27:42 +00:00
..
config	New UserReporter Terms and Conditions, hopefully GDPR compliant, refs #5257.	2018-10-05 22:19:28 +00:00
l10n	Add a script to lint the translations with Dennis.	2017-05-27 12:26:26 +00:00
mods	Don't delay the pyrogenesis shutdown for 5 minutes but at most 10 seconds if the server is not responding, refs #968;	2018-10-09 16:27:42 +00:00
tests	Implement TS_ASSERT_NUMBER as a future precaution of the integer epsilon slip in 30fe33bb0b.	2018-01-29 11:55:43 +00:00
tools	Add More anims to the actor viewer	2018-04-07 18:46:09 +00:00