From 89ea9efbc65c69b39d3c5e22d56bb8b316dffacb Mon Sep 17 00:00:00 2001 From: gtema Date: Thu, 24 Nov 2022 13:42:35 +0000 Subject: [PATCH] Cleanup wrong content Reviewed-by: Goncharov, Artem Co-authored-by: gtema Co-committed-by: gtema --- .gitignore | 3 +++ doc-exports | 1 - 2 files changed, 3 insertions(+), 1 deletion(-) delete mode 160000 doc-exports diff --git a/.gitignore b/.gitignore index 990112dd..bd58829e 100644 --- a/.gitignore +++ b/.gitignore @@ -134,6 +134,9 @@ dmypy.json **/temp/ **/tmp_result/ +# Some people build submodule because of not understanding git basics +doc-exports + # Drop userless content of the docs docs/**/*.js docs/**/*.css diff --git a/doc-exports b/doc-exports deleted file mode 160000 index 118a1097..00000000 --- a/doc-exports +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 118a109795f9193fc0bab68fb222736a4d17142f