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:
authorlovetox <philipp@hoerist.com>2022-05-06 22:29:19 +0300
committerlovetox <philipp@hoerist.com>2022-05-06 22:29:19 +0300
commitb5e88455f255011cd9c96ad119c3aadab4aaed4e (patch)
tree3845bf7f12a60c4ed5408d66c08a32bb47757d00
parent227f53f69d30bc1fc0dcb1ad83bbc82d7d3ebe92 (diff)
Update pyrightconfig.json
-rw-r--r--pyrightconfig.json3
1 files changed, 3 insertions, 0 deletions
diff --git a/pyrightconfig.json b/pyrightconfig.json
index 2ea6d4c..4529256 100644
--- a/pyrightconfig.json
+++ b/pyrightconfig.json
@@ -9,4 +9,7 @@
"**/__pycache__",
".git"
],
+ "include": [
+ "scripts/*",
+ ]
}