Trinity Pointard fc1092b38c add clippy to the CI		2021-05-02 21:42:55 +02:00
..
Dockerfile	add clippy to the CI	2021-05-02 21:42:55 +02:00
Makefile	Use pre-prepared Docker image in CI to speed things up	2021-04-27 16:37:11 +02:00