Skip to content
Snippets Groups Projects
Commit 57f7d7e7 authored by Ralf Jung's avatar Ralf Jung
Browse files

remove no-longer-needed OCAML specifier

parent b7021a59
No related branches found
No related tags found
No related merge requests found
Pipeline #21431 passed