Skip to content
GitLab
Explore
Sign in
Iris
Iris
Repository
iris
Makefile.coq.local
Find file
Blame
History
Permalink
Use mktemp instead of tempfile
· c07c52fc
Ralf Jung
authored
May 25, 2018
mktemp seems to also be available on macOS -- though without `--suffix`.
c07c52fc