mirror of
https://github.com/aclist/dztui.git
synced 2026-10-29 14:12:45 +01:00
chore: clear type annotation errors
Mirror to Codeberg / mirror-to-codeberg (push) Has been cancelled
Mirror to Codeberg / mirror-to-codeberg (push) Has been cancelled
This commit is contained in:
1 parent
6a6b4c8027
commit
a8b7ea5008
2 files changed
+12
-6
No files matched your search
+3
-3
@@ -53,13 +53,13 @@ def is_mission(path: Path) -> bool:
|
||||
file = path / "init.c"
|
||||
return file.exists()
|
||||
|
||||
def tokenize(mod: Path) -> dict[Any] | None:
|
||||
def tokenize(mod: Path) -> dict[str, Any] | None:
|
||||
file = mod.joinpath("meta.cpp")
|
||||
delimiter=r"\s*=\s*"
|
||||
modmeta = {}
|
||||
try:
|
||||
with open(file, "r", encoding="utf-8") as file:
|
||||
for line in file:
|
||||
with open(file, "r", encoding="utf-8") as f:
|
||||
for line in f:
|
||||
line = line.strip().rstrip(";")
|
||||
if not line:
|
||||
continue
|
||||
|
||||
Reference in new issue
Block a user