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>2022-11-29 21:37:56 +0300
committerwurstsalat <mailtrash@posteo.de>2022-11-29 21:37:56 +0300
commit14fb45e9f892dd80c3decc3b5c202f349d16fdfd (patch)
tree2512ed268cb163668fad3bed9b084aab55476724
parentbb82b2a34d91c8cdd373b66a6abdba885dc7bb92 (diff)
Update pyrightconfig
-rw-r--r--pyrightconfig.json8
1 files changed, 4 insertions, 4 deletions
diff --git a/pyrightconfig.json b/pyrightconfig.json
index 4529256..256d636 100644
--- a/pyrightconfig.json
+++ b/pyrightconfig.json
@@ -7,9 +7,9 @@
"reportMissingModuleSource": "none",
"exclude": [
"**/__pycache__",
- ".git"
+ ".git",
+ "omemo",
+ "openpgp",
+ "pgp",
],
- "include": [
- "scripts/*",
- ]
}