tree 31ba0e8ebc4eaa4b5b2657522e4ada5e1595bd71
parent 769c6a1816efe68ace4ad04d9015565ede307f39
author Zesstra <zesstra@zesstra.de> 1560375671 +0200
committer MG Mud User <mud@mg.mud.de> 1560375671 +0200

Funktionen mit Typen versehen.

Change-Id: Ieebf096a384bd8cc39bbaecef814dfbe9d81f249