Anytxt Searcher

A Desktop Search Tool with A Powerful Full-Text Search Engine. Best Google Desktop Search Alternative.

Skip to content
  • Overview
  • Screenshots
  • Download
  • Forums

Reply To: Index Manager cannot exclude extension with capital letter

Overview › Forums › Discussions › Index Manager cannot exclude extension with capital letter › Reply To: Index Manager cannot exclude extension with capital letter

August 19, 2022 at 8:44 am #2734
ckholy
Guest

I found that this problem exist again after upgrade to 1.2.901

 

 

© CBEWIN TECH LIMITED