1
0
mirror of https://github.com/pirate/ArchiveBox.git synced 2025-09-02 02:42:38 +02:00
Files
archivebox/archivebox/mypy.ini

4 lines
45 B
INI

[mypy]
plugins =
mypy_django_plugin.main