Am Sonntag, 26. April 2020 01:35:03 UTC+2 schrieb Matt Wilkie: > > > As the footnoted reference says, If you install from Git, you can get the >> latest development versions. What it does not say is that the latest >> development version is usually not in the "master" branch of the git >> repository. It is usually in the "devel" branch. >> > > Good point, I added how to switch. >
Thanks! - I've been able to check out the development branch from the cloned repository - and - install it using pip. The logical next step would be to deliver a simple change, e.g. fixing the simple typo ``git chekout devel`` in * .../leo-editor/leo/doc/LeoDocs.leo#Leo's Documentation-->Installing & running Leo-->@rst html/installing.html-->Installing Leo itself-->Installing Leo with git as a pull request (PR) for leo-editor ... Is there anything specific to Leo, that should be considered in addition to the available information on GitHub on how to deliver PRs? With kind regards, Viktor -- 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/9d72336e-38c9-48c8-9dcb-56c95622b73c%40googlegroups.com.
