Tue, 20 Aug 2024 00:31:45 +0200IDE: Fix search result not showing single occurrences
Edouard Tisserant <edouard.tisserant@gmail.com> [Tue, 20 Aug 2024 00:31:45 +0200] rev 3971
IDE: Fix search result not showing single occurrences