diff tools/verify-all-heads.sh @ 1435:18a961672a72

maps: switch many file opens to using the with statement
author Augie Fackler <raf@durin42.com>
date Sun, 05 Jun 2016 21:18:38 -0400
parents 11c4c7242a36
children
line wrap: on
line diff