Code

Add support for coqdep flags.#11094

Code

Merged

ejgallego merged 2 commits intoocaml:mainocaml/dune:mainfrom rlepigre:coqdep-flagsrlepigre/dune:coqdep-flagsCopy head branch name to clipboardNov 13, 2024

+120-9

Commits

Commits on Nov 12, 2024

• Add support for coqdep flags.

  Show description for 2ad2a50
  

  Rodolphe Lepigre

  authored and

  rlepigre

  committed
  2ad2a50

  Copy full SHA for 2ad2a50

Commits on Nov 13, 2024

• Warn about coqdep_flags in the documentation.

  Show description for b2c3d93
  

  Rodolphe Lepigre

  committed
  b2c3d93

  Copy full SHA for b2c3d93