Skip to content

coq-par-compile: use hash for ancestors#503

Merged
erikmd merged 1 commit into
ProofGeneral:masterfrom
hendriktews:issue-499-ancestor-append
Jun 23, 2020
Merged

coq-par-compile: use hash for ancestors#503
erikmd merged 1 commit into
ProofGeneral:masterfrom
hendriktews:issue-499-ancestor-append

coq-par-compile: use hash for ancestors

e81b4e3
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs