My proposal for resolving add92039f433cd315f2087da9c1a0de899927d96
authorChristian Femers <femers@in.tum.de>
Mon, 26 Aug 2019 01:28:58 +0000 (03:28 +0200)
committerChristian Femers <femers@in.tum.de>
Mon, 26 Aug 2019 01:28:58 +0000 (03:28 +0200)
The choice was made based on functionality (and a bit performance) and
mostly readability.


No differences found