mirror of
https://github.com/aclist/dztui.git
synced 2026-10-27 21:22:46 +01:00
chore: clear type annotation errors
This commit is contained in:
1 parent
8123893a90
commit
65fb07c8da
6 files changed
+15
-17
No files matched your search
+1
-1
@@ -48,7 +48,7 @@ def get_local_mods(workshop_path: Path) -> list[Path]:
|
||||
mods = [file for file in workshop_path.iterdir() if file.is_dir()]
|
||||
return mods
|
||||
|
||||
def is_mission(path: Path) -> None:
|
||||
def is_mission(path: Path) -> bool:
|
||||
# TODO: parse integrity of other files
|
||||
file = path / "init.c"
|
||||
return file.exists()
|
||||
|
||||
Reference in new issue
Block a user