diff options
author | Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2014-06-26 14:04:20 +0200 |
---|---|---|
committer | Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2014-06-26 14:04:20 +0200 |
commit | 4cd36df8879ae02639b3c8cf3712df6296e68a4c (patch) | |
tree | caac3f1ae2aa12dad60120e50ac0b7d8cca354da /INSTALL.doc | |
parent | 6281430231c9d4ea1353372678f1eb483e32a015 (diff) | |
parent | 68bdb34f9e113233e1c0fe772a58d2393c8d6690 (diff) |
Merge branch 'tc-test-suite' of https://github.com/JasonGross/coq into JasonGross-tc
Diffstat (limited to 'INSTALL.doc')
0 files changed, 0 insertions, 0 deletions