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

Update ProB 2 to version 4.0.0-SNAPSHOT for Java 14 compatibility

parent 824f34b1
No related branches found
No related tags found
Checking pipeline status