Skip to content

[readlink -f] doesn't work on OSX#701

Merged
coqbot merged 1 commit into
rocq-prover:trunkfrom
SkySkimmer:osx-fix-readlink
May 31, 2017
Merged

[readlink -f] doesn't work on OSX#701
coqbot merged 1 commit into
rocq-prover:trunkfrom
SkySkimmer:osx-fix-readlink

Commits

Commits on May 30, 2017