purge remnants of repo/categories.txt, which is long unused

This commit is contained in:
Hans-Christoph Steiner 2023-05-30 22:42:22 +02:00
parent 1c3a87e002
commit bc58959315
6 changed files with 16 additions and 33 deletions

View file

@ -4042,7 +4042,6 @@ def is_repo_file(filename, for_gpg_signing=False):
if isinstance(filename, str):
filename = filename.encode('utf-8', errors="surrogateescape")
ignore_files = [
b'categories.txt',
b'entry.jar',
b'index-v1.jar',
b'index.css',