Merge branch 'ogdf'
commit510fee5b04837b185d3ef611632798489e447ce5
authorSven Strickroth <email@cs-ware.de>
Tue, 16 Oct 2018 16:38:11 +0000 (16 18:38 +0200)
committerSven Strickroth <email@cs-ware.de>
Tue, 16 Oct 2018 16:38:11 +0000 (16 18:38 +0200)
tree88823be6e2172471b71b22fb56f9edaed4754de8
parent2f332bf31920c04e947aa0282df51aa13b74859e
parentb648b266d368067d377f94baf552c489423bbab4
Merge branch 'ogdf'