Skip to content

patch/tree indent#118

Merged
SidOfc merged 3 commits intomasterfrom
patch/tree-indent
Jan 11, 2023
Merged

patch/tree indent#118
SidOfc merged 3 commits intomasterfrom
patch/tree-indent

Conversation

@SidOfc
Copy link
Copy Markdown
Owner

@SidOfc SidOfc commented Jan 11, 2023

@SidOfc SidOfc added the bug Report or fix bugs label Jan 11, 2023
@SidOfc SidOfc self-assigned this Jan 11, 2023
@SidOfc SidOfc merged commit 17e7ee1 into master Jan 11, 2023
@SidOfc SidOfc deleted the patch/tree-indent branch January 11, 2023 11:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Report or fix bugs

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant