Skip to content
Snippets Groups Projects
Commit 135d18f0 authored by Administrator's avatar Administrator Committed by Florian Uhlig
Browse files

Fix build type for merge request 

This change is needed for proper display on CDash.
parent f0eb1974
No related branches found
Tags dev_2024_33
1 merge request!28Implement automatic format check
Hide whitespace changes
Inline Side-by-side
Showing
with 6 additions and 5 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment