tree c41daef521f639da80b51fdebdc4b804fc7f75bb
parent 3a62b41a30f163541bedb1195c0f0d0d571c73f7
author Zesstra <zesstra@zesstra.de> 1578511060 +0100
committer MG Mud User <mud@mg.mud.de> 1578511060 +0100

Nur mit this_interactive() arbeiten.

Verantwortlich ist der am anderen Ende des Netzwerks. ;-)

Change-Id: I5c4b0d6e65ccbc303b24968908858e3a2b563cbf