Skip to content
Commit 57c2eb0d authored by Jan Kiene's avatar Jan Kiene
Browse files

Merge branch 'disable_debugging_per_default' into 'main' 

disable DEBUGGING per default

See merge request !1281
parents 5c6931f1 50f4c398