diff --git a/docs/modules/ROOT/examples/samples-src b/docs/modules/ROOT/examples/samples-src deleted file mode 120000 index 63a8114bd2..0000000000 --- a/docs/modules/ROOT/examples/samples-src +++ /dev/null @@ -1 +0,0 @@ -../../../../samples \ No newline at end of file