chore: remove extraneous file

Remove a file that was previously added by mistake.
This commit is contained in:
Adolfo R. Brandes
2024-12-05 18:35:48 -03:00
committed by Adolfo R. Brandes
parent fdcab456e8
commit 0219f5cd25