1 files changed, 0 insertions, 1 deletions

diff --git a/mrepl b/mrepl
deleted file mode 120000
index 0789f5f..0000000
--- a/mrepl
+++ /dev/null
@@ -1 +0,0 @@
-mcomp
\ No newline at end of file