On Tuesday, April 15, 2025 at 9:29:54 PM UTC+1 [email protected] wrote:
Or go to the *@settings* node and change its headline to *@@settings*.
right (I prefer that method, I think)
J^n
--
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 visit
https://groups.google.com/d/msgid/leo-editor/95eaea91-4169-4c79-866a-a6bef69bac77n%40googlegroups.com.
