diff tools/verify-all-heads.sh @ 412:5cba60948f92

stupid: eliminate dependency on editor.current
author Dirkjan Ochtman <dirkjan@ochtman.nl>
date Wed, 10 Jun 2009 17:57:11 +0200
parents 11c4c7242a36
children
line wrap: on
line diff