diff contrib/dockerlib.sh @ 31877:14c5a7637ecc

checkcode: only match pushd/popd as word otherwise it partially match common words like "pushdestination".
author Pierre-Yves David <pierre-yves.david@ens-lyon.org>
date Mon, 10 Apr 2017 17:05:54 +0200
parents cea1473ba468
children a3ac1ea611ce
line wrap: on
line diff