On Tuesday, June 29, 2021 at 12:12:40 PM UTC-5 Edward K. Ream wrote: > I'll use the delete-annotations command to remove some (or all!) type annotations from a new ekr-annotate branch.
BTW, leoNodes.py in *devel* already contains annotations. I'll probably remove those annotations as well. 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/c83094e4-0f09-41f7-859e-a4be37815667n%40googlegroups.com.
