-
Björn Brandenburg authored
If one names a branch "something-something-file.v", then the current script will find it in the .git directory and try to compile git's branch description as a Coq file...
d52138bf
If one names a branch "something-something-file.v", then the current script will find it in the .git directory and try to compile git's branch description as a Coq file...