MAINT: add .theia/ to .gitignore (#13668)

This avoids having an untracked file in Gitpod workspaces [ci skip]
scipy · Mar 9, 2021 · 15bf22e · 15bf22e
1 parent 69a7752
commit 15bf22e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -17,6 +17,7 @@
 *.tmp
 *.vim
 tags
+.theia/
 
 # Compiled source #
 ###################