mirror of
https://anongit.gentoo.org/git/repo/gentoo.git
synced 2026-05-06 07:27:03 -04:00
dev-ml/ppx_deriving_yojson: remove unused patch(es)
Signed-off-by: Michael Mair-Keimberger <mm1ke@gentoo.org>
This commit is contained in:
@@ -1,10 +0,0 @@
|
||||
--- a/src_test/dune
|
||||
+++ b/src_test/dune
|
||||
@@ -1,6 +1,6 @@
|
||||
(executable
|
||||
(name test_ppx_yojson)
|
||||
- (libraries oUnit result)
|
||||
+ (libraries ounit2 result)
|
||||
(preprocess (pps ppx_deriving.show ppx_deriving_yojson))
|
||||
(flags (:standard -w -9-39-27-34-37)))
|
||||
|
||||
Reference in New Issue
Block a user