Welcome to mirror list, hosted at ThFree Co, Russian Federation.

dev.gajim.org/gajim/gajim-plugins.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorwurstsalat <mailtrash@posteo.de>2023-06-11 13:27:04 +0300
committerwurstsalat <mailtrash@posteo.de>2023-06-11 13:27:04 +0300
commit936262946f8917e2ec67ddc805a20b0e6b32bc69 (patch)
tree2aafbe395a5d6aa6a95db03c967a1b0c9bb9ddc6
parent6009946aa0687c65d156eddc4fdcdaa27fe005aa (diff)
cq: Update pyrightconfig
-rw-r--r--pyrightconfig.json3
1 files changed, 1 insertions, 2 deletions
diff --git a/pyrightconfig.json b/pyrightconfig.json
index 256d636..a79a060 100644
--- a/pyrightconfig.json
+++ b/pyrightconfig.json
@@ -1,6 +1,6 @@
{
"pythonPlatform": "All",
- "pythonVersion": "3.9",
+ "pythonVersion": "3.10",
"typeCheckingMode": "strict",
"reportImportCycles": "none",
"reportImplicitStringConcatenation": "none",
@@ -8,7 +8,6 @@
"exclude": [
"**/__pycache__",
".git",
- "omemo",
"openpgp",
"pgp",
],