diff tools/verify-all-heads.sh @ 1355:79e319fe767d

svnmeta: add method to determine whether we will skip a particular branch
author Sean Farley <sean@farley.io>
date Mon, 24 Mar 2014 11:20:57 -0500
parents 11c4c7242a36
children
line wrap: on
line diff