Remove deprecated dot files (#596)

alexarchambault · Feb 17, 2025 · b863836 · b863836
1 parent 4aaf4a1
commit b863836
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 35 deletions.
diff --git a/.gitpod.Dockerfile b/.gitpod.Dockerfile
diff --git a/.gitpod.yml b/.gitpod.yml
diff --git a/.jvmopts b/.jvmopts