diff options
| author |  Frédéric Besson <frederic.besson@inria.fr> | 2018-10-04 11:26:08 +0200 |
|---|---|---|
| committer |  Andres Erbsen <andreser@mit.edu> | 2018-10-04 11:06:38 -0400 |
| commit | 692fbf2183f34fefec728c063a2022c3529e8029 (patch) | |
| tree | be76190bb9e052f26cb8c85a09652df6a18b6811 /_CoqProject | |
| parent | 46f1386270a334b85a93a0e06dda87c61548121d (diff) | |
Compatibility with Coq PR#8457
Based on hints from @andres-erbsen
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions