Deleting extraneous file (#412)

This commit is contained in:
Kevin Lewi
2025-11-04 11:38:21 -08:00
committed by GitHub
parent 96498709f4
commit 6d2af37a28
Binary file not shown.