Skip to content
Snippets Groups Projects
Commit 88124884 authored by Aaron Councilman's avatar Aaron Councilman
Browse files

Fix editor bug when deleting created node

parent 8a9d8790
No related branches found
No related tags found
1 merge request!57Intraprocedural SROA
Pipeline #200282 passed
Stage: build
Stage: test
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment