Update define.sh

This commit is contained in:
Kroese 2024-05-28 00:03:50 +02:00 committed by GitHub
parent b95cd587e7
commit f028dc892c
No known key found for this signature in database
GPG key ID: B5690EEEBB952194