Skip to content
Snippets Groups Projects

resolve spelling issues

Passed
Björn Brandenburg created pipeline for commit 0b6a5f8a
, finished
Related merge request !202 to merge hypotheses_lemmas
merge request
16 jobs 23 minutes 33 seconds, queued for 3 seconds