mirror of
https://github.com/aclist/dztui.git
synced 2026-10-30 06:32:53 +01:00
chore: add typehint ignore
This commit is contained in:
1 parent
67bae3c3e0
commit
ea3631072b
1 file changed
+1
-1
@@ -60,7 +60,7 @@ class ConfigManager:
|
|||||||
seen = set()
|
seen = set()
|
||||||
ips.append(fqip)
|
ips.append(fqip)
|
||||||
# NOTE: Preserve linear order of records while deduplicating
|
# NOTE: Preserve linear order of records while deduplicating
|
||||||
unique = deque(maxlen=10)
|
unique = deque(maxlen=10) # type: ignore
|
||||||
for i in range(len(ips) - 1, -1, -1):
|
for i in range(len(ips) - 1, -1, -1):
|
||||||
if ips[i] not in seen:
|
if ips[i] not in seen:
|
||||||
seen.add(ips[i])
|
seen.add(ips[i])
|
||||||
|
|||||||
Reference in new issue
Block a user