On Thursday, July 16, 2020 at 7:15:52 AM UTC-5, Edward K. Ream wrote: > ekr-leoInteg.leo now contains an up to date version of all the sources. I'll push ekr-leoInteg.leo to a new *ekr branch* later today.
Done. Imo, using @file instead of @clean in leoInteg.leo should be an eventual goal. Indeed, that "external" .ts files will be less important, so the sentinel comments shouldn't be a big deal. But I'll leave the timing to you, Félix. 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/2deb2268-6d6a-4916-bdb3-fd3a62ba9127o%40googlegroups.com.
