comparison tools/verify-all-heads.sh @ 500:5ddc212dbc56

push: fix for single directory repository layouts
author Daniel Tang <dytang@cs.purdue.edu>
date Tue, 20 Oct 2009 14:34:00 -0400
parents 11c4c7242a36
children
comparison
equal deleted inserted replaced
499:1fd3cfa47c5e 500:5ddc212dbc56