summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorCharles.Forsyth <devnull@localhost>2007-01-17 13:20:38 +0000
committerCharles.Forsyth <devnull@localhost>2007-01-17 13:20:38 +0000
commit59d0b4fa7e07a095dc38ec4f67d019d45610304c (patch)
tree176b8081affb0febc9ba95a00a53af2cd4e09055
parent56f3d04553e7fac260932ac4ac7fc826ee0b6b58 (diff)
small change to /mkfile
-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\