New headline numbering commands in devel

15 views
Skip to first unread message

Edward K. Ream

unread,
Mar 29, 2023, 4:44:47 PM3/29/23
to leo-editor
See #3121. Thanks to the usual suspects :-)

Edward
Reply all
Reply to author
Forward
0 new messages