tree d4482643433f2aeb4c7405f1cb329c5e478d3de3
parent 8183d7fd195e181687be3ecf0ea1e0cc294893c0
author Udo Schnurpfeil <udo.schnurpfeil@irian.eu> 1592470199 +0200
committer Udo Schnurpfeil <udo.schnurpfeil@irian.eu> 1592470199 +0200

simplify