Skip to content

Remove trailing whitespace

Michael Sammler requested to merge ci/msammler/remove_whitespace into master

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

Merge request reports