Skip to content

remove nodes from tree when deleted from local and not generated#640

Merged
Jamiras merged 1 commit into
masterfrom
bugfix/deleted_nodes
Apr 28, 2026
Merged

remove nodes from tree when deleted from local and not generated#640
Jamiras merged 1 commit into
masterfrom
bugfix/deleted_nodes

Commits

Commits on Apr 26, 2026