Skip to content

remove colors from xml output (for the CI)#213

Merged
ClementPernet merged 1 commit intomasterfrom xmlcoloroutSep 30, 2022

Commits