add execution permission for cleanup files

deb8f128 · Jonas Kaufmann · Antoine Kaufmann · 175ae3ab · deb8f128 · deb8f128
Commit deb8f128 authored May 20, 2022 by Jonas Kaufmann Committed by Antoine Kaufmann May 26, 2022
Hide whitespace changes
Inline Side-by-side

Showing with 0 additions and 0 deletions

docker/cleanup_external.sh docker/cleanup_external.sh +0 -0

docker/cleanup_images.sh docker/cleanup_images.sh +0 -0

No files found.
--- a/docker/cleanup_external.sh
+++ b/docker/cleanup_external.sh
--- a/docker/cleanup_images.sh
+++ b/docker/cleanup_images.sh