diff --git a/.theia/settings.json b/.theia/settings.json index 720fd1c4..db8877e9 100644 --- a/.theia/settings.json +++ b/.theia/settings.json @@ -1,6 +1,7 @@ { "workbench.colorTheme": "Hibou Dark", "files.exclude": { + "**/.var": true, "**/.git": true, "**/.svn": true, "**/.hg": true,