From 0d124555a8057aec96090cf78c055ac8bd4d6d98 Mon Sep 17 00:00:00 2001 From: Jeremie Dimino Date: Mon, 18 Mar 2019 11:52:10 +0000 Subject: [PATCH] _ Signed-off-by: Jeremie Dimino --- core.opam | 1 - 1 file changed, 1 deletion(-) diff --git a/core.opam b/core.opam index 3f622492..b1210252 100644 --- a/core.opam +++ b/core.opam @@ -5,7 +5,6 @@ authors: ["Jane Street Group, LLC "] homepage: "https://github.com/janestreet/core" bug-reports: "https://github.com/janestreet/core/issues" dev-repo: "git+https://github.com/janestreet/core.git" -doc: "https://ocaml.janestreet.com/ocaml-core/latest/doc/core/index.html" license: "MIT" build: [ ["dune" "build" "-p" name "-j" jobs]