[docker] Add execute permissions to the various scripts

aerius · Dec 20, 2023 · a6fe7e0 · a6fe7e0
1 parent 7ac3e6d
commit a6fe7e0
Show file tree

Hide file tree

Showing 7 changed files with 0 additions and 0 deletions.
diff --git a/docker/build.sh b/docker/build.sh
diff --git a/docker/copy_dependencies_common.sh b/docker/copy_dependencies_common.sh
diff --git a/docker/include.functions.sh b/docker/include.functions.sh
diff --git a/docker/nl/copy_dependencies.sh b/docker/nl/copy_dependencies.sh
diff --git a/docker/prepare.sh b/docker/prepare.sh
diff --git a/docker/process_dockerfile_templates.sh b/docker/process_dockerfile_templates.sh
diff --git a/docker/push.sh b/docker/push.sh