On Saturday, April 8, 2023 at 1:17:31 PM UTC-5 [email protected] wrote: "*" is so widely used as a wildcard for any string that it would be confusing to use it in another way.
Alright. What *single* character would you prefer? Edward -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/b189c025-bc78-4dd4-991d-4e65b4b50630n%40googlegroups.com.
