tree aedf6b873837698ede15295db03e310d30496402
parent d7906810349e0077ea883c3b06b1102d93c08c12
author Zesstra <zesstra@zesstra.de> 1586939380 +0200
committer MG Mud User <mud@mg.mud.de> 1586939380 +0200

Typ eingeschraenkt fuer P_EXITS

Da kommen nur normale Ausgange, d.h. Raumpfade, d.h. strings

Change-Id: If82b5121acc4d02f903b740f9fa5eff734bf815e