Skip to content
This repository has been archived by the owner on Dec 14, 2021. It is now read-only.

src: Rename aggregation edge to bundled edges #1051

Merged
merged 4 commits into from
Jun 29, 2020
Merged

Conversation

egraether
Copy link
Contributor

The term aggregation is misleading. Bundled edges is a better definition for this type of edge.

closes #962

@egraether egraether merged commit 3950da7 into master Jun 29, 2020
@mlangkabel mlangkabel deleted the bundled_edges branch February 8, 2021 11:19
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Rename "aggregration" edge to something better understandable
1 participant