diff options
| author | François Pottier <francois.pottier@inria.fr> | 2015-10-23 14:03:45 +0200 |
|---|---|---|
| committer | François Pottier <francois.pottier@inria.fr> | 2015-10-23 14:03:45 +0200 |
| commit | c46723c0169145d41d1879c236f53314456f1ba1 (patch) | |
| tree | ae48f9e444033d8fe5d449dc03a4b70bb62db7e7 /.gitignore | |
| parent | 1f74fdf503d3c501d2e261e76337452f6401d63a (diff) | |
| download | compcert-kvx-c46723c0169145d41d1879c236f53314456f1ba1.tar.gz compcert-kvx-c46723c0169145d41d1879c236f53314456f1ba1.zip | |
Updated [configure] to require today's Menhir.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions