From 3a4e0ebeb1ae217cae58fbd8c8e645eed6e1e7b0 Mon Sep 17 00:00:00 2001
From: Tobias Diez <tobiasdiez@gmx.de>
Date: Fri, 14 Aug 2020 22:31:48 +0200
Subject: [PATCH] Remove pyright config

---
 pyrightconfig.json | 7 -------
 1 file changed, 7 deletions(-)
 delete mode 100644 pyrightconfig.json

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