diff options
author | V3n3RiX <venerix@koprulu.sector> | 2023-05-16 22:07:44 +0100 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2023-05-16 22:07:44 +0100 |
commit | c4507bfdfd706b2b1301972490fe88ac3ddbc70e (patch) | |
tree | 72500f6288cf79e445e6a5cb03337f4f64ce49db /dev-ml/yojson/files | |
parent | aa0b5f37afc4a88422d6301d07e4e3852ddd7251 (diff) |
gentoo auto-resync : 16:05:2023 - 22:07:44
Diffstat (limited to 'dev-ml/yojson/files')
-rw-r--r-- | dev-ml/yojson/files/yojson-2.0.2-dune-seq.patch | 2 |
1 files changed, 1 insertions, 1 deletions
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) |