add python script to convert gps degrees to decimal

2024-03-12 12:07:24 +01:00
parent df83af6336
commit 9c947ce95a
3 changed files with 117 additions and 0 deletions
--- a/tools/Pipfile
+++ b/tools/Pipfile
@@ -0,0 +1,12 @@
+[[source]]
+url = "https://pypi.org/simple"
+verify_ssl = true
+name = "pypi"
+
+[packages]
+pyexcel_ods = "*"
+
+[dev-packages]
+
+[requires]
+python_version = "3.12"