Skip to content

Include missing options in b:undo_indent - #5

Open
dkearns wants to merge 1 commit into
eiffelhub:masterfrom
dkearns:improve-undo_indent
Open

Include missing options in b:undo_indent#5
dkearns wants to merge 1 commit into
eiffelhub:masterfrom
dkearns:improve-undo_indent

Commits

Commits on Sep 24, 2021