Juan Gu 7209d62b77 SERVER-99522 Delete dead py linters (#31760) ...

GitOrigin-RevId: 3aedfa559dda734d4d89fefe0fe1154a5a3cf04d

2025-04-09 19:33:45 +00:00

..

mongo_lock.py

…

mongo_printers.py

SERVER-99522 Delete dead py linters (#31760)

2025-04-09 19:33:45 +00:00

mongo.py

SERVER-99522 Delete dead py linters (#31760)

2025-04-09 19:33:45 +00:00

optimizer_printers.py

…

udb.py

SERVER-99522 Delete dead py linters (#31760)

2025-04-09 19:33:45 +00:00

wt_dump_table.py

…