On 09 Jul 2014, at 10:12, Ken Hornstein <kenh@pobox.com> wrote:
Now technically #: is creating a profile entry for a command called “#”,
but we recognize that as special and ignore duplicates of it.
Forgive the comment from the peanut gallery, but if the code is
already handling ^# specially, why not go all the way and make it
a comment character? Is there a use for supporting #foo as a command?
Thanks,
~Chad
_______________________________________________
Nmh-workers mailing list
Nmh-workers@nongnu.org
https://lists.nongnu.org/mailman/listinfo/nmh-workers