diff tools/verify-all-heads.sh @ 1374:a17d8874a099

Added dynamic author mapping.
author Jerome M. BERGER <jeberger@free.fr>
date Thu, 28 Jan 2016 19:43:21 +0100
parents 11c4c7242a36
children
line wrap: on
line diff