OK, found it On Monday, May 13, 2024 at 9:48:26 PM UTC chr...@gmail.com wrote:
> On Monday, May 13, 2024 at 8:06:29 PM UTC tbp1...@gmail.com wrote: > > I have created a pull request, 3907 > <https://github.com/leo-editor/leo-editor/pull/3907>, that gets this > plugin working again. At least, it works when outputting just the > headlines. > > If anyone wants to try it out before the PR gets merged into the devel > branch, you can follow the link in the Github PR page to my repository and > get the file there. > > > Thanks Thomas, I half understand "Github PR page to my repository"... is > the name of the file LEO-TO-HTML.? and do I replace the same file in my > installation? > -- 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/95e5ab8c-f665-4c5c-ba60-675d288294a8n%40googlegroups.com.