diff tools/verify-all-heads.sh @ 407:cbb5644895e8

editor: use decorators, get rid of unnecessary property
author Dirkjan Ochtman <dirkjan@ochtman.nl>
date Wed, 10 Jun 2009 14:53:22 +0200
parents 11c4c7242a36
children
line wrap: on
line diff