diff tools/verify-all-heads.sh @ 765:62c9e6bd2ca7

docs: document new config knob for externals support
author Augie Fackler <durin42@gmail.com>
date Sun, 28 Nov 2010 20:37:19 -0600
parents 11c4c7242a36
children
line wrap: on
line diff