Commit graph

1 commit

Author SHA1 Message Date
Dimitri
a75f6d86d1 lint: Convert lint-whitespace.sh to Python 2022-04-16 15:53:15 +02:00