diff options
| author | Enrico | 2016-09-23 15:25:01 +0200 |
|---|---|---|
| committer | GitHub | 2016-09-23 15:25:01 +0200 |
| commit | 1cf725932d5e7e7917ae6f26f9cee1b8b0bf12ae (patch) | |
| tree | b13f2021391211dc716f48a0122d18a5433ee6cf /docs/params.json | |
| parent | d3a954f8910a46664d0cf3ad30e94e555392c2e6 (diff) | |
| parent | 489d80b737ee5f3a2f936abbf2d9bd441d4ef124 (diff) | |
Merge pull request #71 from matej-kosik/master
FIX: compilation wrt. commit 9c35248 on Coq trunk branch.
Diffstat (limited to 'docs/params.json')
0 files changed, 0 insertions, 0 deletions