Skip to content
Snippets Groups Projects

style tweaks

Passed
Ralf Jung created pipeline for commit 87514dbe
, finished
Related merge request !495 to merge ralf/solve-proper-subrelation
5 minutes 35 seconds, queued for 3 seconds