tree 07fb333d19ae4a2e0c8b30161b6c83fc5a56a83f
parent f9802d80a0d53797f19152334893ec63ade0089c
author Thomas Waldmann <tw@waldmann-edv.de> 1610058642 +0100
committer Thomas Waldmann <tw@waldmann-edv.de> 1610058642 +0100

fixup: lits means literals