Merge pull request #19062 from timvandermeij/gitpod

Remove obsolete Gitpod files
mozilla · Nov 17, 2024 · 2113796 · 2113796
2 parents 8a8b69f + 093485d
commit 2113796
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 20 deletions.
diff --git a/.gitpod.Dockerfile b/.gitpod.Dockerfile
diff --git a/.gitpod.yml b/.gitpod.yml