Merge branch 'develop' of https://gitlab.liu.se/PUM_TDDD96/B-ASIC into...
1 related merge request: !45 Resolve "Change properties of operations in GUI"
branch
1 job
1 minute 43 seconds, queued for 5 seconds