diff options
author | Hendrik Tews <hendrik@askra.de> | 2016-12-02 17:41:16 +0100 |
---|---|---|
committer | Hendrik Tews <hendrik@askra.de> | 2016-12-02 17:41:16 +0100 |
commit | cde8f9e4a13ec2d05c8435be16da02e54e6b5a70 (patch) | |
tree | dc8a5be9144d74407aabfe24af13eb644ec1a2b6 /generic | |
parent | 1e506d9da3b05a5ec8c6ec5e91f17cf153cb6dfc (diff) |
remove ancestor hash in Coq parallel background compilation
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions