diff tools/verify-all-heads.sh @ 518:e37738d95b27

editor: remove useless test
author Patrick Mezard <pmezard@gmail.com>
date Mon, 18 Jan 2010 21:40:28 +0100
parents 11c4c7242a36
children
line wrap: on
line diff