diff --git a/README b/README new file mode 120000 index 0000000000000000000000000000000000000000..4baf2281ff969405a2fa5dd15340f4085698a97c --- /dev/null +++ b/README @@ -0,0 +1 @@ +doc/README \ No newline at end of file