]> git.xonotic.org Git - xonotic/xonotic.git/history - misc/infrastructure/python/mypy.ini
projects / xonotic / xonotic.git / history
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
demotc-race-record-extractor.sh: remove useless rc case (gametype name is always...
[xonotic/xonotic.git] / misc / infrastructure / python / mypy.ini