diff tools/verify-all-heads.sh @ 1578:68965b2e3401

tests: use repo['.'] instead of repo to check whether file exists
author Pulkit Goyal <pulkit@yandex-team.ru>
date Thu, 26 Jul 2018 15:56:24 +0300
parents 11c4c7242a36
children
line wrap: on
line diff