Make build script executable in Git

Change-Id: Ifdca594d75a709c46ccaa9a45c698a2eaac0d15f
pull/205/head
Jolanda Verhoef 2 years ago
parent 9b698cff82
commit c0a061ade3
Loading…
Cancel
Save