tree 68fd31f7eb09ca726d16dcca51eddd4430ab5915
parent c8d592075e1ca928786b5e0e928f1aa55a016251
author Eliza Margaretha <margaretha@ids-mannheim.de> 1418747017 +0000
committer Eliza Margaretha <margaretha@ids-mannheim.de> 1418747017 +0000

Added get set methods for isOrdered.