dune icon indicating copy to clipboard operation
dune copied to clipboard

fix: allow [$ dune subst] to work without a repo

Open rgrinberg opened this issue 1 year ago • 1 comments

Signed-off-by: Rudi Grinberg [email protected]

rgrinberg avatar Oct 19 '24 22:10 rgrinberg

@anmonteiro do you want to review this one?

rgrinberg avatar Oct 20 '24 09:10 rgrinberg

The fix introduce a regression when an opam file is present, I just opened #11045 reporting that

btjorge avatar Oct 28 '24 13:10 btjorge