diff --git a/docs/rofl/app.md b/docs/rofl/app.md deleted file mode 120000 index 50a112030a..0000000000 --- a/docs/rofl/app.md +++ /dev/null @@ -1 +0,0 @@ -../../external/oasis-sdk/docs/rofl/app.md \ No newline at end of file