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

*.sh   text eol=lf
back to top