diff options
| author | Enrico | 2016-09-22 10:21:51 +0200 |
|---|---|---|
| committer | GitHub | 2016-09-22 10:21:51 +0200 |
| commit | d3a954f8910a46664d0cf3ad30e94e555392c2e6 (patch) | |
| tree | ebf8cbd12c11278e87105f1f3e8aa5dfa419eb64 /docs/params.json | |
| parent | b7796bb785b9d37e5b6648489d5c28e85df9d90d (diff) | |
| parent | a774d904dee59d4f78e0543f4cf06adbaf0e6f0f (diff) | |
Merge pull request #70 from matej-kosik/master
fix compilation wrt. commit 699b70c in Coq trunk
Diffstat (limited to 'docs/params.json')
0 files changed, 0 insertions, 0 deletions