Merge pull request #697 from Pressio/694-remove-docker-stuff-when-sui…

…table #694: remove docker stuff when suitable
Pressio · Oct 25, 2024 · 896121c · 896121c
2 parents 1dfd2f1 + 50ed278
commit 896121c
Show file tree

Hide file tree

Showing 7 changed files with 0 additions and 219 deletions.
diff --git a/docker_scripts/README.md b/docker_scripts/README.md
diff --git a/docker_scripts/fedora-clang.dockerfile b/docker_scripts/fedora-clang.dockerfile
diff --git a/docker_scripts/fedora-gnu.dockerfile b/docker_scripts/fedora-gnu.dockerfile
diff --git a/docker_scripts/intel-oneapi.dockerfile b/docker_scripts/intel-oneapi.dockerfile
diff --git a/docker_scripts/ubuntu-clang.dockerfile b/docker_scripts/ubuntu-clang.dockerfile
diff --git a/docker_scripts/ubuntu-gnu-trilinos.dockerfile b/docker_scripts/ubuntu-gnu-trilinos.dockerfile
diff --git a/docker_scripts/ubuntu-gnu.dockerfile b/docker_scripts/ubuntu-gnu.dockerfile