On Fri, Mar 17, 2023 at 12:59 AM Viktor Ransmayr <viktor.ransm...@gmail.com> wrote:
> Should it still be possible to create Leo's Documentation locally on Linux > from "LeoDocs.leo"? > Thanks for this report. See issue #3207 <https://github.com/leo-editor/leo-editor/issues/3207>. 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 view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/CAMF8tS0gMVwFiThXTonphMaxpYwRM%2BnhFuC44NV4bXvDs-WWTg%40mail.gmail.com.