comparison tools/verify-all-heads.sh @ 742:0d3139ba2d66

remove redundant calls to fd.flush() prior to doing fd.close().
author Dan Villiom Podlaski Christiansen <danchr@gmail.com>
date Tue, 09 Nov 2010 13:49:30 +0100
parents 11c4c7242a36
children
comparison
equal deleted inserted replaced
741:b3128fec5d54 742:0d3139ba2d66