https://github.com/mit-plv/rewriter
Raw File
Tip revision: 77c76a43689ce532921ccfa200b44083bc52dc21 authored by Andres Erbsen on 15 February 2023, 04:05:22 UTC
adapt for coq/coq#17022 (#96)
Tip revision: 77c76a4
.gitattributes
* text=auto

*.sh   text eol=lf
back to top