diff options
| author | Aldo Cortesi <aldo@corte.si> | 2017-03-20 12:19:22 +1300 |
|---|---|---|
| committer | Aldo Cortesi <aldo@corte.si> | 2017-03-20 12:38:08 +1300 |
| commit | 3a8da31835db37d65637058935f144ece62c1bdd (patch) | |
| tree | 90fbee6cf1a357d8c7966be487c41ff0f9817275 /web/src/js/components/Header/FileMenu.jsx | |
| parent | b98ce71770d22d4b80e83f56b74dc710405cf535 (diff) | |
| download | mitmproxy-3a8da31835db37d65637058935f144ece62c1bdd.tar.gz mitmproxy-3a8da31835db37d65637058935f144ece62c1bdd.tar.bz2 mitmproxy-3a8da31835db37d65637058935f144ece62c1bdd.zip | |
mypy all of the codebase bar tnetstring
In some places, this involved removing type declarations where our types were
terminally confused. The grideditor specifically needs a cleanup and
restructure.
Diffstat (limited to 'web/src/js/components/Header/FileMenu.jsx')
0 files changed, 0 insertions, 0 deletions