Three more PRs merged into devel

62 views

Skip to first unread message

unread,

Jan 26, 2025, 7:58:55 AMJan 26

to leo-editor

Leo's devel branch now contains the following PRs:

- PR #4285: Fix colorizing bugs for C.

- PR #4286: Improve the promote-bodies command.

- PR #4287: Allow backslashes in Leo's find commands.

Please report any problems.

Edward

Reply all

Reply to author

Forward

0 new messages