From ecef07068e80ed0ba49016a8b8d63fd950247ef8 Mon Sep 17 00:00:00 2001 From: Miki Date: Wed, 22 Feb 2023 17:00:29 -0800 Subject: [PATCH] Fix unwanted `documentation-website` folder (#3034) Signed-off-by: Miki --- documentation-website | 1 - 1 file changed, 1 deletion(-) delete mode 160000 documentation-website diff --git a/documentation-website b/documentation-website deleted file mode 160000 index 1e274173..00000000 --- a/documentation-website +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 1e274173d0bffb82ddd20549a502e4d76a3cdcc4