avoid unused error codes

This commit is contained in:
Leo Alt 2022-11-23 17:36:17 +01:00
parent be0149dd47
commit 87d277ec05

View File

@ -227,10 +227,10 @@ def examine_id_coverage(top_dir, source_id_to_file_names, new_ids_only=False):
return False return False
old_source_only_ids = { old_source_only_ids = {
"1584", "1823", "1218", "1584", "1823",
"1988", "2066", "2833", "3356", "1988", "2066", "2833", "3356",
"3893", "3996", "4010", "4458", "4802", "3893", "3996", "4010", "4458", "4802",
"4902", "5272", "5622", "5798", "7128", "7400", "4902", "5272", "5622", "5798", "5840", "7128", "7400",
"7589", "7593", "7649", "7710", "7589", "7593", "7649", "7710",
"8065", "8084", "8140", "8158", "8065", "8084", "8140", "8158",
"8312", "8592", "9134", "9609", "8312", "8592", "9134", "9609",