Delete extras/bin directory

This commit is contained in:
Sancho Lerena 2024-04-01 19:38:41 +02:00 committed by GitHub
parent 0a9d870a9c
commit f266f4ade1
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

Binary file not shown.