diff --git a/docs b/docs deleted file mode 120000 index 39dd899..0000000 --- a/docs +++ /dev/null @@ -1 +0,0 @@ -web/documentation \ No newline at end of file