Frederik Rietdijk 37619385b8 python: mypy: 0.770 -> 0.780		2020-06-11 10:00:02 +02:00
..
default.nix	python: mypy: 0.770 -> 0.780	2020-06-11 10:00:02 +02:00
extensions.nix	…