mevdschee
diff --git a/‎docker/build_all.sh‎
100644100755 b/‎docker/build_all.sh‎
100644100755
diff --git a/‎docker/clean_all.sh‎
100644100755 b/‎docker/clean_all.sh‎
100644100755
diff --git a/‎docker/run.sh‎
100644100755 b/‎docker/run.sh‎
100644100755
diff --git a/‎docker/run_all.sh‎
100644100755 b/‎docker/run_all.sh‎
100644100755