Skip to content
Snippets Groups Projects
Unverified Commit a464fcce authored by Frank Sauerburger's avatar Frank Sauerburger
Browse files

Add name attribute to cuts

parent c10e9267
No related branches found
No related tags found
2 merge requests!9Resolve "Simpler access to events of a process",!8Resolve "Labeled cuts"
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