🐛 FIX: theia no longer supported by Gitpod #216

apolopena · Mar 26, 2022 · 82f0d98 · 82f0d98
1 parent ea4c04c
commit 82f0d98
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 30 deletions.
diff --git a/.theia/launch.json b/.theia/launch.json
diff --git a/.theia/settings.json b/.theia/settings.json