Closed pavel-synek closed 9 months ago
MPS changed to MPA (Multi-project architecture)
Jira issue(s): PROOF-XXX
Changes:
-
MPS changed to MPA (Multi-project architecture)
Jira issue(s): PROOF-XXX
Changes:
-