From a786138ee2a5a4aef54f5b3b84347ce2e1603986 Mon Sep 17 00:00:00 2001 From: Maciej Barć Date: Tue, 16 May 2023 17:10:48 +0200 Subject: dev-ml/yojson: clean patch MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Maciej Barć --- dev-ml/yojson/files/yojson-2.0.2-dune-seq.patch | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'dev-ml') diff --git a/dev-ml/yojson/files/yojson-2.0.2-dune-seq.patch b/dev-ml/yojson/files/yojson-2.0.2-dune-seq.patch index e4783220b822..c94933291f30 100644 --- a/dev-ml/yojson/files/yojson-2.0.2-dune-seq.patch +++ b/dev-ml/yojson/files/yojson-2.0.2-dune-seq.patch @@ -1,5 +1,5 @@ --- a/lib/dune -+++ b/lib/dune_ ++++ b/lib/dune @@ -34,5 +34,4 @@ (public_name yojson) (modules yojson) -- cgit v1.2.3-65-gdbad