-
Tobias Zeumer authored
Longer (red) highlighting - 20 (instead of 5) seconds + hide symbols for 5 (instead of 2) seconds. Resolves #49
ddd991cc
Diese GitLab-Instanz wird in der Zeit
vom 25.04.2024 17:00 Uhr bis zum 25.04.2024 18:00 Uhr
nicht erreichbar sein. Weitere Information werden bei Bedarf im Newsfeed des RZ zur Verfügung gestellt.
Longer (red) highlighting - 20 (instead of 5) seconds + hide symbols for 5 (instead of 2) seconds. Resolves #49