Skip to content

Remove trailing whitespace

Michael Sammlerrequested to merge
ci/msammler/remove_whitespace into master

This was done using sed --in-place 's/[[:space:]]\+$//' theories/*.v.

Merge request reports