diff options
| author | Matej Kosik | 2016-09-22 09:09:47 +0200 |
|---|---|---|
| committer | Matej Kosik | 2016-09-22 09:09:47 +0200 |
| commit | a774d904dee59d4f78e0543f4cf06adbaf0e6f0f (patch) | |
| tree | ebf8cbd12c11278e87105f1f3e8aa5dfa419eb64 /docs | |
| parent | b7796bb785b9d37e5b6648489d5c28e85df9d90d (diff) | |
fix compilation wrt. commit 699b70c in Coq trunk
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions