compile-with-docker.sh: Make executable by default. (#42)

This commit is contained in:
Wouter 2023-09-18 11:49:09 +02:00 committed by GitHub
parent 9ab4410d92
commit 3a478090a4
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

0
compile-with-docker.sh Normal file → Executable file
View File