diff --git a/docs/scripts/core_scripts b/docs/scripts/core_scripts deleted file mode 160000 index 68af5ea..0000000 --- a/docs/scripts/core_scripts +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 68af5ea866cc30bb84e3b121c42da44078a47f0b