diff tools/verify-all-heads.sh @ 1196:878372849175

maps: use meta.caseignoreauthors intead of accessing ui directly
author Sean Farley <sean.michael.farley@gmail.com>
date Mon, 24 Mar 2014 11:20:46 -0500
parents 11c4c7242a36
children
line wrap: on
line diff