src: Rename aggregation edge to bundled edges (#1051)

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

closes #962
This commit is contained in:
Eberhard Gräther
2020-06-29 19:41:12 +02:00
committed by GitHub
parent 7008d2abdd
commit 3950da7999
33 changed files with 208 additions and 210 deletions

Before

Width:  |  Height:  |  Size: 12 KiB

After

Width:  |  Height:  |  Size: 12 KiB