commit | d3df512313aeaf847af96adc626d2a4388f000ca | [log] [tgz] |
---|---|---|
author | Luca Cristoforetti <cristofo@fbk.eu> | Tue Mar 31 15:16:58 2020 +0200 |
committer | Luca Cristoforetti <cristofo@fbk.eu> | Tue Mar 31 15:16:58 2020 +0200 |
tree | d7a76126b910c2e0e23d3e4058f6ff2a3949889d | |
parent | 9767b0c58f509e330033793328be80241b43d861 [diff] | |
parent | cdd098c9834f150dc540a5bdd8629570138208c7 [diff] |
Merge branch '244-improve-imarker-handling-in-problems-view-and-update-checker-manager' into 'master' Resolve "Improve IMarker handling in Problems View and update Checker Manager" Closes #244 See merge request CPS_Design/CHESS!55