comparison .hgignore @ 567:ec0ce5129fc4

Switch to new approach to supporting newer Coq versions while still building with patched Coq 8.4
author Adam Chlipala <adam@chlipala.net>
date Sun, 20 Jan 2019 15:00:32 -0500
parents af97676583f3
children 81d63d9c1cc5
comparison
equal deleted inserted replaced
566:1a231194d164 567:ec0ce5129fc4