Make build script executable in Git

Change-Id: Ifdca594d75a709c46ccaa9a45c698a2eaac0d15f
pull/1837/head
Jolanda Verhoef 3 years ago
parent 9147775dfb
commit 2cf82b4389
Loading…
Cancel
Save