diff tools/verify-all-heads.sh @ 1510:d4eb7b064085

tests: add dir_removal to the list of repos that are meaningless in standard
author Augie Fackler <raf@durin42.com>
date Mon, 29 May 2017 20:28:26 -0400
parents 11c4c7242a36
children
line wrap: on
line diff