Update define.sh

This commit is contained in:
Kroese 2024-05-18 14:34:24 +02:00 committed by GitHub
parent 35c0a9b2fa
commit 72beeb5202
No known key found for this signature in database
GPG key ID: B5690EEEBB952194