diff tools/verify-all-heads.sh @ 1427:5b9002d28418

maps: drop two unused __init__ implementations
author Augie Fackler <raf@durin42.com>
date Sun, 05 Jun 2016 20:15:05 -0400
parents 11c4c7242a36
children
line wrap: on
line diff