Diego Elio Pettenò dd5d7c86d2 Fix up end of file and trailing whitespace.
This can be enforced by pre-commit, but correct it separately to make it easier to review.
2020-06-03 10:56:35 +01:00
..
2020-05-13 10:40:41 -05:00
2018-12-30 22:49:20 -05:00
wip
2020-01-03 10:24:07 -05:00
2020-01-08 16:48:17 -06:00