Skip to content
Commit 5b7b2aaf authored by vaclav's avatar vaclav
Browse files

Merge branch '1887-basop-PortFlpMr1788' into 'main' 

Port MR1788 from float to BASOP

Closes #1887

See merge request !2026
parents 83dfcfcf 68d8820f
Expand all Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment