Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

solve #9 #25

Merged
merged 5 commits into from
Nov 28, 2024
Merged

solve #9 #25

merged 5 commits into from
Nov 28, 2024

Conversation

vareb
Copy link
Contributor

@vareb vareb commented Nov 19, 2024

Support non-interactive editing of State diagram

Change-Id: Ic64b6f21a3043fac6b8c7ebfd1ebc6fed7d03856
Change-Id: I7e0ad183ea3afb8f51843d7297769dde8846ae16
Change-Id: I82215e89582769882377a50aeb6ceea901614ce4
Change-Id: I838fba364d2b99e0be3bc879eafbd9ca8296aff4
@Godsmith
Copy link
Contributor

Ok! Commit for #6 should have been its own pull request, but it's not important.

@vareb vareb merged commit 3dfb7b6 into main Nov 28, 2024
5 checks passed
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.

2 participants