| commit | 0fa338589aa59056770d36c6d983dd5d6e9c2b53 | [log] [tgz] |
|---|---|---|
| author | Zesstra <zesstra@zesstra.de> | Wed Apr 15 10:29:40 2020 +0200 |
| committer | MG Mud User <mud@mg.mud.de> | Wed Apr 15 10:29:40 2020 +0200 |
| tree | aedf6b873837698ede15295db03e310d30496402 | |
| parent | d7906810349e0077ea883c3b06b1102d93c08c12 [diff] |
Typ eingeschraenkt fuer P_EXITS Da kommen nur normale Ausgange, d.h. Raumpfade, d.h. strings Change-Id: If82b5121acc4d02f903b740f9fa5eff734bf815e