2017-11-17 02:41:06 +01:00
|
|
|
# After editing this file, you MUST afterward run
|
|
|
|
# /tools/update-locked-requirements to update requirements/dev.txt
|
|
|
|
# and requirements/mypy.txt.
|
|
|
|
# See requirements/README.md for more detail.
|
2020-11-13 00:31:17 +01:00
|
|
|
mypy
|