summaryrefslogtreecommitdiff
path: root/development/ocaml
diff options
context:
space:
mode:
Diffstat (limited to 'development/ocaml')
-rw-r--r--development/ocaml/ocaml.info1
1 files changed, 0 insertions, 1 deletions
diff --git a/development/ocaml/ocaml.info b/development/ocaml/ocaml.info
index fc1b7c255d..13986ec27b 100644
--- a/development/ocaml/ocaml.info
+++ b/development/ocaml/ocaml.info
@@ -9,4 +9,3 @@ DOWNLOAD_x86_64=""
MD5SUM_x86_64=""
MAINTAINER="Ferenc Deak"
EMAIL="ferenc.deak@gmail.com"
-APPROVED="dsomero,Niels Horn"