tools/configure.c: Update functionality to match last change to tools/configure.sh
parent
7b3fc03f
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.