Remove unneeded empty file #1989
Merged
Geo GHCI int / Pull request checks
succeeded
Dec 6, 2024 in 10s
Pull request checks
✔️ The commit 7ca7f42 is not a fixup commit
✔️ The commit 7ca7f42 is not a squash commit
✔️ The first letter of message head in commit 7ca7f42 is a capital
✔️ The message head in commit 7ca7f42 is at least 5 characters long
✔️ The commit 7ca7f42 is not a merge commit
✔️ Code spell on commit 7ca7f42 are correct
✔️ Pull request title is correct
Loading