Dario Nieuwenhuis fc901f9856 ci: add check for no CRLF line endings.		2023-07-18 14:23:37 +02:00
..
ci	ci: add check for no CRLF line endings.	2023-07-18 14:23:37 +02:00
workflows	Move doc building to new CI.	2023-05-31 14:29:40 +02:00
bors.toml	Tell bors to delete merged branches	2022-03-14 12:59:48 -05:00