This repository has been archived by the owner on Nov 17, 2020. It is now read-only.
Don't include Makefile generated by Coq #157
Comments
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
The problem with this is that it regenerates itself, and it will be different if you don't use the exact same version of Coq, so that adds noise to
git diff.The text was updated successfully, but these errors were encountered: