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

Merged

erikmd merged 1 commit intoProofGeneral:masterfrom hendriktews:issue-499-ancestor-append

Jun 23, 2020

+49-35

Commits on Jun 19, 2020

coq-par-compile: use hash for ancestors
hendriktews
committed