Skip to content

Renamed edge_int1 and edge_int2 to edge1_int and edge2_int#137

Merged
cemitch99 merged 2 commits intomainfrom
edge_int
Jan 12, 2026
Merged

Renamed edge_int1 and edge_int2 to edge1_int and edge2_int#137
cemitch99 merged 2 commits intomainfrom
edge_int

Conversation

@DavidSagan
Copy link
Copy Markdown
Member

Rename to avoid confusion that edge_int1 and edge_int2 both apply to both edges simultaneously. edge1_int emphasizes that this applies to the entrance edge and edge2_int applies to the exit edge.

@cemitch99 cemitch99 merged commit d5e7171 into main Jan 12, 2026
1 check passed
@DavidSagan DavidSagan deleted the edge_int branch March 4, 2026 11:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants