diff options
| author | Enrico Tassi | 2019-06-25 13:18:39 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2019-06-25 13:18:39 +0200 |
| commit | ce28b847059eed1250a673fc7f2ffee756036f54 (patch) | |
| tree | e879abba38a3d4d5e9fb06e3e710c382dabf99be /library | |
| parent | 8fa180ecbd34973f866372bee7bd9020626afedb (diff) | |
| parent | f00526e12177901b4668b63594800d6022a2878d (diff) | |
Merge PR #10412: Add output-coqtop test directory that runs output tests with coqtop
Reviewed-by: gares
Ack-by: jfehrle
Diffstat (limited to 'library')
0 files changed, 0 insertions, 0 deletions