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

Merge branch...

Merge branch '1235-update-of-the-wmc-tool-to-v1-7-recognizing-the-newly-added-basop-operators' into 'main'

Resolve "Update of the WMC tool to v1.7 recognizing newly added BASOP operators"

See merge request !1889
parents 05b43c35 e56d5175
Loading
Loading
Loading
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment