tree 40da3920f3f94f5b24d373895d5d17bb5de8ca6e
parent 144983d3e65a89878926ebc0ff5bc9957c89d193
author margaretha <margaretha@ids-mannheim.de> 1431447689 +0200
committer margaretha <margaretha@ids-mannheim.de> 1434105907 +0100

Fixed bug (sorting in unordered distance spans)

Change-Id: Ic9c6faff2ad0b965829398ebfeee129d345b4da8