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 5a9078499e
commit 641a5e27e2