diff options
| author | Enrico Tassi | 2014-12-27 12:02:18 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2014-12-27 12:02:18 +0100 |
| commit | f34946ecfb0ea2c75337369f3e41e9562be0d84b (patch) | |
| tree | b68e098e7ee85c6e1cc5f013c1ba9f7a736328e7 /dev | |
| parent | 9182cdfba977eef23bd5a9db647c8227d87f59fc (diff) | |
include test-suite/coqchk in the summary log
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions