paulmataruso/zulip
1
0
Fork 0
mirror of https://github.com/zulip/zulip.git synced 2025-11-05 06:23:38 +00:00
Code Issues Packages Projects Releases Wiki Activity

html_diff: Add missing mypy import.

Browse Source 
It's getting really annoying that this isn't checked by our linter.
This commit is contained in:
Tim Abbott
2017-10-12 00:13:58 -07:00
parent 66a3f514d4
commit 5435fbf6c6
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
zerver/lib/html_diff.py
View File

@@ -1,5 +1,5 @@
from typing import Callable, List, Tuple, Text
from typing import Callable, List, Optional, Tuple, Text
from django.conf import settings