kreyren/Zernit
1
0
Fork 0
Code Issues 129 Pull Requests Releases Activity

Finally we have theia config

Browse Source 
Relevant: https://github.com/gitpod-io/gitpod/issues/800#issuecomment-587381366
This commit is contained in:
Kreyren 2020-02-18 11:39:07 +00:00
parent 013391e83a
commit 846ed09c07
3 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
.theia/README.md Normal file
View File

@ -0,0 +1,3 @@
Configuration directory for [theia](https://github.com/eclipse-theia/theia)
Theia is also used by gitpod

0
workspace/Zernif/.vscode/settings.json → .theia/settings.json
View File

3
workspace/README.md
View File

@ -1,3 +0,0 @@
Annoying directory that is recognized by Theia (GitPod) to export our configuration
FIXME: Make theia to recognize `gitpod` and NUKE this abomination from my repo