Remove unrelated Git submodule

openHPI · Oct 15, 2024 · 8995bf1 · 8995bf1
1 parent 75c7879
commit 8995bf1
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 4 deletions.
diff --git a/.gitmodules b/.gitmodules
diff --git a/deploy/codeocean-terraform b/deploy/codeocean-terraform