Skip to content
Snippets Groups Projects
Commit 29bb32bb authored by Steffen Schulze's avatar Steffen Schulze
Browse files

Merge branch 'chore/refactor-proof-manager' into 'main'

Refactor proof manager

See merge request eclipse/xfsc/ocm/ocm-engine!24
parents 8287e885 fdfc1641
No related branches found
No related tags found
No related merge requests found
Showing
with 161 additions and 488 deletions
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment