diff tools/verify-all-heads.sh @ 501:c617dcaac86d

single: fix push
author Vitaliy Filippov <vitalif@yourcmc.ru>
date Wed, 25 Nov 2009 23:10:32 -0500
parents 11c4c7242a36
children
line wrap: on
line diff