indent to 2 spaces, remove spaces end of lines
Passed
Olivier Sauter
created pipeline for commit
81c596e5
, finished
1 related merge request: !129 Draft: Improve the exhaustiveness of outputs
2 minutes 55 seconds, queued for 1 seconds