From b4df17c2284bf60e84794771c97e25d4ecf60691 Mon Sep 17 00:00:00 2001 From: zirain Date: Mon, 22 Jul 2024 14:32:11 +0800 Subject: [PATCH] tools: remove sphinx Signed-off-by: zirain --- tools/src/sphinx-build/requirements.txt | 2 -- 1 file changed, 2 deletions(-) delete mode 100644 tools/src/sphinx-build/requirements.txt diff --git a/tools/src/sphinx-build/requirements.txt b/tools/src/sphinx-build/requirements.txt deleted file mode 100644 index 16fc53701bf..00000000000 --- a/tools/src/sphinx-build/requirements.txt +++ /dev/null @@ -1,2 +0,0 @@ -Sphinx==7.3.7 -myst-parser==3.0.1