diff --git a/docs b/docs deleted file mode 120000 index 239ac02..0000000 --- a/docs +++ /dev/null @@ -1 +0,0 @@ -Software/docs/manual \ No newline at end of file