From cee939ada70967b70fe92ca24b3428cc8c8b7c38 Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Mon, 7 Feb 2022 14:58:00 +0100 Subject: Update editor --- editor.opam | 1 + 1 file changed, 1 insertion(+) (limited to 'editor.opam') diff --git a/editor.opam b/editor.opam index c50744b..f70600a 100755 --- a/editor.opam +++ b/editor.opam @@ -7,6 +7,7 @@ depends: [ "dune" {>= "2.7"} "ocaml" {>= "4.10.0"} "brr" {>= "0.0.1"} + "omd" {>= "2.0.0~alpha1"} "odoc" {with-doc} ] build: [ -- cgit v1.2.3