diff tools/verify-all-heads.sh @ 524:30e885106dab

__init__: update docstring to reflect recent change to README
author Dan Villiom Podlaski Christiansen <danchr@gmail.com>
date Mon, 11 Jan 2010 17:12:33 +0100
parents 11c4c7242a36
children
line wrap: on
line diff