Reynir Björnsson 02afdbb391 Use custom labels for the diffs ... Otherwise we leak the temporary file names which are also not interesting to the (innocent) user.		2025-01-09 16:48:45 +01:00
..
dune	Compute and present the opam file differences as a unified diff	2025-01-07 13:17:10 +01:00
opamdiff.ml	Use custom labels for the diffs	2025-01-09 16:48:45 +01:00
opamdiff.mli	remove more unneeded code	2025-01-07 13:49:28 +01:00