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

remove nodes from tree when deleted from local and not generated

5969ee4
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Build-and-Tests
succeeded Apr 26, 2026 in 1m 54s