comparison tools/verify-all-heads.sh @ 805:a3f727c41c1d

Fix breakage introduced by discovery refactoring
author Peter Arrenbrecht <peter.arrenbrecht@gmail.com>
date Sat, 14 May 2011 21:44:07 +0200
parents 11c4c7242a36
children
comparison
equal deleted inserted replaced
804:6beca5b97dc7 805:a3f727c41c1d