On Thu, Apr 27, 2023 at 06:16:27PM -0400, Richard Kimberly Heck wrote: > On 4/27/23 17:55, John White wrote: > Yes, I agree that it's good list etiquette to delete bits one doesn't need.
An it's actually part of our official list Netiquette ( https://www.lyx.org/MailingLists#toc7 ). Pavel -- lyx-users mailing list lyx-users@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-users
