Skip to content

GitLab

remove trailing whitespace 

This was done using `sed --in-place 's/[[:space:]]\+$//' theories/*.v`.
7 jobs for ci/msammler/remove_whitespace in 16 minutes and 27 seconds (queued for 1 second)
8fc1b24b
1 related merge request: !133 Remove trailing whitespace