diff tools/verify-all-heads.sh @ 249:a065bf61caa1

encoding: fix encoding swap to work with demandimport enabled (#67)
author Daniel Tang <dytang@cs.purdue.edu>
date Fri, 10 Apr 2009 15:43:47 -0500
parents 3c87de482011
children 5071b8511572
line wrap: on
line diff