Skip to content
Snippets Groups Projects
Commit 263c3b7d authored by Robin Sonnabend's avatar Robin Sonnabend
Browse files

Merge branch 'proto3-update' into 'master'

Update protokollsystem

See merge request !11
parents 26b9aa82 26c2b1a9
No related branches found
No related tags found
2 merge requests!12Remove scip/zimpl binaries from shared repository,!11Update protokollsystem
Pipeline #2852 passed