diff options
| author | Erik Martin-Dorel | 2020-06-23 19:48:59 +0200 |
|---|---|---|
| committer | GitHub | 2020-06-23 19:48:59 +0200 |
| commit | 03e427a8f19485e12b2f95387ed3e0bff7cc944c (patch) | |
| tree | b8230ed50d1af0709f8c4ecdd50cc76a0706b717 /pgshell | |
| parent | 5cc231625e2b4a2e4b4d4caf088a44e9c4f1259e (diff) | |
| parent | e81b4e3e3e9b15238ba6f9adf21ca0167cd83dcd (diff) | |
Merge pull request #503 from hendriktews/issue-499-ancestor-append
coq-par-compile: use hash for ancestors
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions