Code

file-search: fix not ignoring .git#8721

Code

Merged

paul-marechal merged 1 commit intomastereclipse-theia/theia:masterfrom mp/file-search-ignoreeclipse-theia/theia:mp/file-search-ignoreCopy head branch name to clipboardNov 11, 2020

+69-43

Commits

Commits on Nov 6, 2020

• file-search: fix not ignoring .git

  Show description for 3071218
  paul-marechal

  committed
  3071218

  Copy full SHA for 3071218