Skip to content

GitLab

Change variable name form criter to criterion

4 jobs for theo in 32 minutes and 15 seconds (queued for 5 seconds)
cf03a121
1 related merge request: !58 Change variable name form criter to criterion