add parameters

2025-06-08 14:04:15 +02:00
parent 7eb00a8860
commit c2a37553bb
3 changed files with 23 additions and 15 deletions
--- a/.vscode/settings.json
+++ b/.vscode/settings.json
@@ -21,6 +21,9 @@
        "myusername",
        "preludeanalyzername",
        "preludeenable",
-        "safebrowsing"
+        "safebrowsing",
+        "tcpaddre",
+        "tcpaddress",
+        "tcpsocket"
    ]
 }