diff --git a/website/docs b/website/docs deleted file mode 120000 index a9594bfe..00000000 --- a/website/docs +++ /dev/null @@ -1 +0,0 @@ -../docs \ No newline at end of file