Skip to content

fix: detect dune-file as a dune file as well#107

Merged
rgrinberg merged 1 commit intomasterfrom
ps/rr/fix__detect_dune_file_as_a_dune_file_as_well
Mar 22, 2024
Merged

fix: detect dune-file as a dune file as well#107
rgrinberg merged 1 commit intomasterfrom
ps/rr/fix__detect_dune_file_as_a_dune_file_as_well

Commits

Commits on Mar 13, 2024