summaryrefslogtreecommitdiff
path: root/development/mlton
diff options
context:
space:
mode:
Diffstat (limited to 'development/mlton')
-rw-r--r--development/mlton/mlton.info1
1 files changed, 0 insertions, 1 deletions
diff --git a/development/mlton/mlton.info b/development/mlton/mlton.info
index c1b9dd82ae..5d2600f394 100644
--- a/development/mlton/mlton.info
+++ b/development/mlton/mlton.info
@@ -11,4 +11,3 @@ MD5SUM_x86_64="3598a53e45d0806d359203bb36405710 \
546b8941c35a93df4866ef91129e0f35"
MAINTAINER="Jockey S. Kyd"
EMAIL="jockey.kyd@gmail.com"
-APPROVED="rworkman"