diff options
author | 2017-05-20 10:28:17 +0200 | |
---|---|---|
committer | 2017-05-20 10:28:17 +0200 | |
commit | aae960fc0ed0a3a8d244c1c3d7c5363c17044cbc (patch) | |
tree | 0687c0311c15bd7be199ea674945883d4c6f25bd /test-suite/success/Projection.v | |
parent | 9f11adda4bff194a3c6a66d573ce7001d4399886 (diff) |
Mention ./configure in INSTALL.doc
As prompted in https://coq.inria.fr/bugs/show_bug.cgi?id=2831
Diffstat (limited to 'test-suite/success/Projection.v')
0 files changed, 0 insertions, 0 deletions