On Sat, Aug 24, 2019 at 10:58 PM Austin(Xu) Wang <[email protected]> wrote:

> Dear Leonine,
>
> Checking the documentation website, I found this tool
> http://leoeditor.com/load-leo.html...
>
> Is the source code for the tool in leo git repo?
>

Yes.  It's in the top-level leo-editor directory
<https://github.com/leo-editor/leo-editor/blob/devel/load-leo.html>.  It's
also present in the leo-editor directory when you do a git clone <leo>.

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 [email protected].
To view this discussion on the web visit 
https://groups.google.com/d/msgid/leo-editor/CAMF8tS2K1%2B3srub7W71p%2B5xBTQc6cCx5mYf9bXc8VQd_jwqVpw%40mail.gmail.com.

Reply via email to