Frederik Rietdijk 37619385b8 python: mypy: 0.770 -> 0.780		2020-06-11 10:00:02 +02:00
..
applications
build-support
common-updater
data
desktops
development	python: mypy: 0.770 -> 0.780	2020-06-11 10:00:02 +02:00
games
misc
os-specific
servers
shells
stdenv
test
tools
top-level