diff tools/verify-all-heads.sh @ 954:1f77bd6ec0e5

test_fetch_mappings: reduce copy/paste
author Patrick Mezard <patrick@mezard.eu>
date Sun, 07 Oct 2012 20:34:04 +0200
parents 11c4c7242a36
children
line wrap: on
line diff