Eberhard GrätherandGitHub 3950da7999 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

2020-06-29 19:41:12 +02:00

..

data

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

2020-06-29 19:41:12 +02:00

user

build: Provide AppImage package for Linux (issue #279) (#945)

2020-03-29 17:10:30 +02:00