Another coverage tweak.
authorEric S. Raymond <esr@thyrsus.com>
Thu, 15 Nov 2018 18:23:16 +0000 (13:23 -0500)
committerEric S. Raymond <esr@thyrsus.com>
Thu, 15 Nov 2018 18:23:16 +0000 (13:23 -0500)
commit42c66160a77370e7f70a9024f5d1eff3ef2710cd
tree433a6a4ae8d2bec9aafc902c3d3ae35f4b33ef47
parent5ce427b62b7f15c5629fecf5bd948ab89407882f
Another coverage tweak.
tests/coverage_dungeon.py