Skip to content

Undo indent dedent#197

Merged
Ttibsi merged 5 commits into
mainfrom
undo-indent-dedent
May 24, 2026
Merged

Undo indent dedent#197
Ttibsi merged 5 commits into
mainfrom
undo-indent-dedent

Conversation

@Ttibsi
Copy link
Copy Markdown
Owner

@Ttibsi Ttibsi commented May 16, 2026

No description provided.

@Ttibsi Ttibsi mentioned this pull request May 16, 2026
11 tasks
@Ttibsi Ttibsi merged commit 0f4d2d7 into main May 24, 2026
4 checks passed
@Ttibsi Ttibsi deleted the undo-indent-dedent branch May 24, 2026 22:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant