Add ppx

2024-02-28 08:58:59 +01:00
parent 7608baf291
commit 6e14a0f682
16 changed files with 13823 additions and 0 deletions
--- a/comi-EntraID_0-5_PROD/.vscode/settings.json
+++ b/comi-EntraID_0-5_PROD/.vscode/settings.json
@@ -0,0 +1,13 @@
+{
+	"python.defaultInterpreterPath": "C:\\Program Files (x86)\\wapt\\waptpython.exe",
+	"python.pythonPath": "C:\\Program Files (x86)\\wapt\\waptpython.exe",
+	"python.wapt-get": "C:\\Program Files (x86)\\wapt\\wapt-get.py",
+	"python.formatting.provider": "black",
+	"python.formatting.blackArgs": 
+	[
+		"--line-length",
+		"150"
+	],
+	"editor.insertSpaces": true,
+	"files.eol": "\n"
+}