On Wed, Feb 18, 2015 at 1:06 AM, Matt Wilkie <map...@gmail.com> wrote:
> > The only reason I can think of to prefer @auto is >> > > ...it's a better name. :) > > If @nosent is a synonym for @auto > ... > At one time I thought that @auto could go away. Now I see that that would be a distracting mistake. @auto, @auto-rst etc are here to stay. The only question is how much to tell newbies ;-) 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 post to this group, send email to leo-editor@googlegroups.com. Visit this group at http://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.