https://github.com/mit-plv/rewriter
Tip revision: 1cd64f2598427f8f4ddcbe453fb61bff32fd0d3a authored by dependabot[bot] on 19 March 2024, 22:54:02 UTC
Bump etc/coq-scripts from `7b54b75` to `5876e80` (#150)
Bump etc/coq-scripts from `7b54b75` to `5876e80` (#150)
Tip revision: 1cd64f2
.gitattributes
* text=auto
*.sh text eol=lf