Skip to content
Snippets Groups Projects

Remove trailing whitespace

Merged Remove trailing whitespace
ci/msammler/remove_whitespace into master
Merged 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

Pipeline #25853 passed

Stage: build

    Pipeline passed for 8fc1b24b on ci/msammler/remove_whitespace

    Merged by Robbert KrebbersRobbert Krebbers 4 years ago (Mar 31, 2020 8:07am UTC)

    Loading

    Pipeline #25860 passed

    Stage: build

      Pipeline passed for f31dfc5c on master

      Activity

      Filter activity
      • Approvals
      • Assignees & reviewers
      • Comments (from bots)
      • Comments (from users)
      • Commits & branches
      • Edits
      • Labels
      • Lock status
      • Mentions
      • Merge request status
      • Tracking
      Please register or sign in to reply