Skip to content
Snippets Groups Projects
Unverified Commit a753fc5c authored by Wuttke, Joachim's avatar Wuttke, Joachim Committed by GitHub
Browse files

Merge pull request #1127 from jwuttke/dec02

Simplify iteration over INode children; make dependence on manhattan-style explicit
parents 43c9f03c 930bd747
No related branches found
No related tags found
No related merge requests found
Showing
with 80 additions and 0 deletions
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment