eclipse-theia/theia

[Theia AI] User setting for ignore files in Workspace functions (including considering .gitignore)

JonasHelming opened this issue · 0 comments

JonasHelming commented
[Theia AI] User setting for ignore files in Workspace functions (including considering .gitignore)