Merge pull request #30 from SergioGasquez/master

Rename gitpod files
zemn-me · Jun 3, 2022 · 9c38b4b · 9c38b4b
2 parents 5928fb9 + a20596e
commit 9c38b4b
Show file tree

Hide file tree

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