diff --git a/pyrightconfig.json b/pyrightconfig.json new file mode 100644 index 00000000000..4f353f0b178 --- /dev/null +++ b/pyrightconfig.json @@ -0,0 +1,7 @@ +{ + "include": [ + "src/sage/manifolds" + ], + + "pythonVersion": "3.7" + } \ No newline at end of file