Fix a couple more reference to cd'ing to tools before executing configure.sh.
parent
e4922ed9
Please register or sign in to comment
Maintenance du serveur Gitlab le 16-17 novembre. Prévoir une indisponibilité du service sur cette période.