diff options
Diffstat (limited to 'development/mlton/mlton.info')
| -rw-r--r-- | development/mlton/mlton.info | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/development/mlton/mlton.info b/development/mlton/mlton.info index c1b9dd82ae046..5d2600f394924 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" |