summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--mkfile2
1 files changed, 0 insertions, 2 deletions
diff --git a/mkfile b/mkfile
index 6035a61a..72b35d4b 100644
--- a/mkfile
+++ b/mkfile
@@ -11,8 +11,6 @@ EMUDIRS=\
libbio\
libmp\
libsec\
- libmp\
- libsec\
libmath\
limbo\
libinterp\