Code

Add COQBIN to configure.ac#128

Code

Open

Villetaneuse wants to merge 1 commit intocoq-community:coq-mastercoq-community/coq-dpdgraph:coq-masterfrom Villetaneuse:add_COQBIN_to_confVilletaneuse/coq-dpdgraph:add_COQBIN_to_confCopy head branch name to clipboard

+44-15

Commits

Commits on Oct 27, 2023

• Add COQBIN to configure.ac

  Show description for e9b8660
  Villetaneuse

  committed
  e9b8660

  Copy full SHA for e9b8660