Skip to content
Commit 9e1362b6 authored by Jan Kiene's avatar Jan Kiene
Browse files

Merge branch 'change_warning_detection_script' into 'main' 

small adaptation to search string in check_for_warnings.py

See merge request !117
parents fbcebe16 53f125d6