diff options
| -rwxr-xr-x | src/local/docker/docker-build.sh (renamed from docker/docker-build.sh) | 0 | ||||
| -rwxr-xr-x | src/local/docker/docker-run.sh (renamed from docker/docker-run.sh) | 0 | ||||
| -rw-r--r-- | src/local/docker/fedora/Dockerfile (renamed from docker/fedora/Dockerfile) | 0 |
3 files changed, 0 insertions, 0 deletions
diff --git a/docker/docker-build.sh b/src/local/docker/docker-build.sh index c6fbd7d6..c6fbd7d6 100755 --- a/docker/docker-build.sh +++ b/src/local/docker/docker-build.sh diff --git a/docker/docker-run.sh b/src/local/docker/docker-run.sh index 7df2d95d..7df2d95d 100755 --- a/docker/docker-run.sh +++ b/src/local/docker/docker-run.sh diff --git a/docker/fedora/Dockerfile b/src/local/docker/fedora/Dockerfile index 7428f4fb..7428f4fb 100644 --- a/docker/fedora/Dockerfile +++ b/src/local/docker/fedora/Dockerfile |