Commit 971ac89f authored by Michael Hanus 's avatar Michael Hanus

`realpath` replaced by `readlink -f`

parent 45be7100
Pipeline #1543 passed with stages
in 217 minutes and 4 seconds