This repository has been archived by the owner on Oct 4, 2024. It is now read-only.
Protect BadIds.py from an empty bad ids file.#481
Merged
gilesknap merged 2 commits intogilesknap:mainfrom peterjdolan:patch-1May 18, 2024
+2-1
