Hi devs, The 3rd party module *python-patch* has been removed from Leo's repo (with commit e08929ad). It used to live in "leo/extensions" as "/patch_11_01.py".
A non-exhaustive search through Leo's source code repo didn't find anything significant that referenced this file or module. From the commit history it was added to Leo as a study resource. In the event you do use or need this it would be better to install or otherwise use directy from it's source: https://github.com/techtonik/python-patch. If the module is something that's used all the time or should be available to generally to Leo users we can add it to the list of automatically installed libraries in setup.py. (Open an enhancement request and tag it with Pip.) cheers, -matt -- 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/537e4cb4-bd0a-4dc4-9e01-f75c1c15c64e%40googlegroups.com.
