diff --git a/maloja/doreah b/maloja/doreah deleted file mode 120000 index 2724e86..0000000 --- a/maloja/doreah +++ /dev/null @@ -1 +0,0 @@ -../../tools/doreah/doreah \ No newline at end of file