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:
-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/*",
- ]
}