> Do we want to introduce case-sensitive options? If nobody objects > strongly, I will make all current options > case-sensitive-lowercase-required and then we'll have a lot more > options, so to speak. :-)
I don't have any objections against case-sensitive options. Gerhard _______________________________________________ Remind-fans mailing list [email protected] http://lists.whatexit.org/mailman/listinfo/remind-fans
