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
2 jobs
1 minute 56 seconds, queued for 18 seconds