diff options
| author |  Pierre Boutillier <pierre.boutillier@ens-lyon.org> | 2014-06-12 14:45:53 +0200 |
|---|---|---|
| committer | Pierre Boutillier <pierre.boutillier@ens-lyon.org> | 2014-06-30 15:59:22 +0200 |
| commit | 1f0f842e92be66f67044bdc6deb70676f0ffc22f (patch) | |
| tree | 40bb0ce6e38b1184f1817d29d7463307009c6599 /coq-win32.itarget | |
| parent | d6873d8bf7272eb45c06d5f5a810302525a12226 (diff) | |
refresh INSTALL
Diffstat (limited to 'coq-win32.itarget')
0 files changed, 0 insertions, 0 deletions