Forked from
Iris / stdpp
Source project has a limited visibility.
-
Michael Sammler authored
This was done using `sed --in-place 's/[[:space:]]\+$//' theories/*.v`.
Michael Sammler authoredThis was done using `sed --in-place 's/[[:space:]]\+$//' theories/*.v`.
