chore: remove file's duplicate extension (#569)

This commit is contained in:
Muhammad Mahmoud 2024-05-25 03:23:23 +03:00 committed by GitHub
parent bd0a8206ef
commit ebe3e6d8d2
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194