Mise à jour de 'bin/wrapper.sh'

This commit is contained in:
Pierre Guillod 2023-07-16 13:02:11 +02:00
parent 8c1e354813
commit 97cb094551