tree c448a7a5d0e03ff860be2bd4e11ed9b4ab8f8372
parent a6c5ea2c438ad52aa4f5b6da14154e07d18628da
author Manuel Pégourié-Gonnard <mpg@elzevir.fr> 1418290423 +0100
committer Manuel Pégourié-Gonnard <mpg@elzevir.fr> 1418290423 +0100

Fix Gnu-ism in script