comparison setup.py @ 22933:3a60cd44e619

verify: report censored nodes if configured policy is abort
author Mike Edgar <adgar@google.com>
date Tue, 14 Oct 2014 16:16:04 -0400
parents e88a634e0195
children c4ce077588d0
comparison
equal deleted inserted replaced
22932:d81792872984 22933:3a60cd44e619