Code

[coq] [fix] Install .glob files#10602

Code

Merged

ejgallego merged 1 commit intoocaml:mainocaml/dune:mainfrom ejgallego:install_globejgallego/dune:install_globCopy head branch name to clipboardMay 31, 2024

+53-13

Commits

Commits on May 31, 2024

• [coq] [fix] Install .glob files

  Show description for d286905
  ejgallego

  committed
  d286905