tree 2b09e8cf06271442e740893f78133c4460d4c81e
parent cb15d2df47cd2683c04dc70988ae0d22c16cdeba
author margaretha <margaretha@ids-mannheim.de> 1462188291 +0200
committer margaretha <margaretha@ids-mannheim.de> 1462188291 +0200

Added sorting to Subspans.

Change-Id: If93a1e97eee01fa30e9aeb7586704888733ead22