On 07/08/2015 07:39 PM, Stephen wrote:
> On 8/7/2015 6:35 PM, Jim Henderson wrote:
>> On Fri, 07 Aug 2015 18:02:29 +0100, Orchid Win7 v1 wrote:
>>
>>> Honestly, trying to guess when the user meant wildcard and then they
>>> actually meant star is *highly* non-trivial.
>>
>> * = wildcard
>>
>> \* = literal *

Actually our system uses quote marks to disambiguate.

> See! Training!
> Users need training. :-P

Now try searching for a quote mark...

Post a reply to this message