| commit | da73716608f4188512e577a83ac16cf754add15b | [log] [tgz] |
|---|---|---|
| author | Zesstra <zesstra@zesstra.de> | Mon Nov 25 22:36:14 2019 +0100 |
| committer | Zesstra <zesstra@zesstra.de> | Tue Nov 26 20:03:09 2019 +0100 |
| tree | 90e82a9b30aafd035742c4aae89001419e94f9a1 | |
| parent | acd38abc0bafb39dd0f0747750cecd2d15b4977d [diff] |
short(): P_SHORT kann eine closure sein. Der Code benutzte bisher eine Variable fuer strings. Change-Id: I5674fc9e43285db5880156f2c95ca6d21c8dfadc