| commit | 80948179d913e0613a71458eff5f9495d1279b35 | [log] [tgz] |
|---|---|---|
| author | Bugfix <mg@henning-ullrich.de> | Thu Dec 15 20:23:58 2016 +0100 |
| committer | Zesstra <zesstra@zesstra.de> | Thu Dec 15 23:46:44 2016 +0200 |
| tree | 815b94a41f91f7faf911bad6eabb66a246a28a0f | |
| parent | b4922b1baa92028e0a1814c63a40063905c9e551 [diff] |
Platzhalter von AddToMenu() umgestellt. Fuer bessere Wartbarkeit benutzt der Pub jetzt replace_personal() fuer Platzhalter. Die alten funktionieren weiterhin, sollten aber nicht mehr verwendet werden. Change-Id: Iaf96d9b21ca47e1a921e58fbb612035cad4ecb5b