comparison 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
comparison
equal deleted inserted replaced
406:e360558ba65f 407:cbb5644895e8