diff tools/verify-all-heads.sh @ 253:c3d5c4ae9c7c

Work with simple command table instead of decorators.
author Dirkjan Ochtman <dirkjan@ochtman.nl>
date Fri, 10 Apr 2009 23:09:59 +0200
parents 3c87de482011
children 5071b8511572
line wrap: on
line diff