Skip to content
Snippets Groups Projects
Commit 6db07123 authored by dgelessus's avatar dgelessus
Browse files

Switch to latest snapshot version of ProB 2

parent 1e9ec5fb
No related branches found
No related tags found
Pipeline #57948 passed
Stage: test