From 29d310f13a0a6effabd28147ffa86e983f4179f4 Mon Sep 17 00:00:00 2001
From: Jeremie Vandenplas <jeremie.vandenplas@gmail.com>
Date: Mon, 26 Sep 2022 15:27:00 +0200
Subject: [PATCH] rename ubuntu_intel

---
 docker/{ubuntu_intel => ubuntu_20_04_intel}/Dockerfile            | 0
 docker/{ubuntu_intel => ubuntu_20_04_intel}/README.md             | 0
 .../setup_apt_repo_linux_no_sudo.sh                               | 0
 3 files changed, 0 insertions(+), 0 deletions(-)
 rename docker/{ubuntu_intel => ubuntu_20_04_intel}/Dockerfile (100%)
 rename docker/{ubuntu_intel => ubuntu_20_04_intel}/README.md (100%)
 rename docker/{ubuntu_intel => ubuntu_20_04_intel}/setup_apt_repo_linux_no_sudo.sh (100%)

diff --git a/docker/ubuntu_intel/Dockerfile b/docker/ubuntu_20_04_intel/Dockerfile
similarity index 100%
rename from docker/ubuntu_intel/Dockerfile
rename to docker/ubuntu_20_04_intel/Dockerfile
diff --git a/docker/ubuntu_intel/README.md b/docker/ubuntu_20_04_intel/README.md
similarity index 100%
rename from docker/ubuntu_intel/README.md
rename to docker/ubuntu_20_04_intel/README.md
diff --git a/docker/ubuntu_intel/setup_apt_repo_linux_no_sudo.sh b/docker/ubuntu_20_04_intel/setup_apt_repo_linux_no_sudo.sh
similarity index 100%
rename from docker/ubuntu_intel/setup_apt_repo_linux_no_sudo.sh
rename to docker/ubuntu_20_04_intel/setup_apt_repo_linux_no_sudo.sh
-- 
GitLab