On Saturday, April 8, 2023 at 1:17:31 PM UTC-5 tbp1...@gmail.com 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 leo-editor+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/b189c025-bc78-4dd4-991d-4e65b4b50630n%40googlegroups.com.