Prevent a spurious coverage error.
authorEric S. Raymond <esr@thyrsus.com>
Sun, 5 Mar 2023 00:58:57 +0000 (19:58 -0500)
committerEric S. Raymond <esr@thyrsus.com>
Sun, 5 Mar 2023 00:58:57 +0000 (19:58 -0500)
commita01c08385c0ce32976b94a10019576c348aa53bc
treedd406030b24b5596527d75f731d0d658d46d0629
parent643656fcc35838d3e8b6e819fa8b1f9c4adda88c
Prevent a spurious coverage error.
tests/coverage_dungeon.py