Remove an empty auxiliary file that snuck in (sorry...)

(cherry picked from commit 61bee11a62)
This commit is contained in:
Udi Fogiel 2024-06-09 21:06:25 +03:00
parent 7dcf9611d2
commit 55b54c852a

View File