| commit | b49624adcd4cb9815612183b20556136498a2b58 | [log] [tgz] |
|---|---|---|
| author | Zesstra <zesstra@zesstra.de> | Wed Nov 07 21:40:16 2018 +0100 |
| committer | Zesstra <zesstra@zesstra.de> | Wed Nov 07 21:41:27 2018 +0100 |
| tree | fd36426ee0983c1517839ce3c59dd3abba96d23e | |
| parent | 0f6a3027dba0ba72651f56218a1f5dbab7233f47 [diff] |
_get_path() jetzt ohne Pfadplatzhalter. Expansion von Pfadplatzhaltern ist in aller Regel nicht erforderlich fuer die (ueber das ganze Mud verteilten) Verwender von _get_path() im Mud. Change-Id: Ic8462d0abb942110ba3db14619c36856014f6dc4