pipfile: add pio

2022-06-11 11:01:35 +02:00 · 2022-06-11 11:01:35 +02:00 · 0c9eb831dd
commit 0c9eb831dd
parent 75bf48756b
1 changed files with 12 additions and 0 deletions
--- a/12
+++ b/12
@ -0,0 +1,12 @@
+[[source]]
+url = "https://pypi.org/simple"
+verify_ssl = true
+name = "pypi"
+
+[packages]
+platformio = "*"
+
+[dev-packages]
+
+[requires]
+python_version = "3.10"