diff --git a/docs b/docs new file mode 120000 index 000000000..822ee2fa3 --- /dev/null +++ b/docs @@ -0,0 +1 @@ +Documentation/under-the-hood/ \ No newline at end of file