make build script executable

This commit is contained in:
Maximilian Keßler 2022-10-02 10:48:35 +02:00
parent 9d6fec1055
commit 306c2d9884
Signed by: max
GPG key ID: BCC5A619923C0BA5

0
.ci/build_document.sh Normal file → Executable file
View file