chraibi · chraibi · Oct 30, 2022 · Oct 30, 2022
diff --git a/app.py → Home.py b/app.py → Home.py
diff --git a/mypy.ini b/mypy.ini
@@ -0,0 +1,34 @@
+[mypy]
+python_version = 3.8
+namespace_packages = True
+ignore_missing_imports = False
+check_untyped_defs = True
+disallow_any_generics = True
+disallow_incomplete_defs = True
+no_implicit_optional = True
+no_implicit_reexport = True
+strict_equality = True
+warn_redundant_casts = True
+warn_unused_ignores = True
+plugins = numpy.typing.mypy_plugin
+
+[mypy-pandas.*]
+ignore_missing_imports = True
+
+[mypy-pygeos.*]
+ignore_missing_imports = True
+
+[mypy-shapely.*]
+ignore_missing_imports = True
+
+[mypy-numpy.*]
+ignore_missing_imports = True
+
+[mypy-scipy.*]
+ignore_missing_imports = True
+
+[mypy-aenum.*]
+ignore_missing_imports = True
+
+[mypy-setuptools.*]
+ignore_missing_imports = True
diff --git a/pages/01_About.py b/pages/01_About.py
diff --git a/pages/02_HowTo.py b/pages/02_HowTo.py
diff --git a/pages/03_Features.py b/pages/03_Features.py
diff --git a/config_template.cfg → ressources/config_template.cfg b/config_template.cfg → ressources/config_template.cfg
diff --git a/logo.png → ressources/logo.png b/logo.png → ressources/logo.png