Code

Fix error/warnings for config file#10923

Code

Merged

Leonidas-from-XIV merged 1 commit intoocaml:mainocaml/dune:mainfrom H-ANSEN:config-ver-err-msgH-ANSEN/dune:config-ver-err-msgCopy head branch name to clipboardSep 25, 2024

+98-16

Commits

Commits on Sep 25, 2024

• Fix error messages when referring to the dune config

  Show description for 308d03e
  

  H-ANSEN

  authored and

  Leonidas-from-XIV

  committed
  308d03e

  Copy full SHA for 308d03e