blob: bb9d453f9818a4d0b9d19c27876b77927c71594a [file] [log] [blame]
MG Mud User88f12472016-06-24 23:31:02 +02001SYNOPSIS
2 mapping m_delete(mapping map, mixed key)
3
4BESCHREIBUNG
5 Loescht den Eintrag mit dem Index <key> aus dem Mapping <map> und
6 liefert das veraenderte Mapping zurueck. Wenn <map> keinen Eintag
7 mit dem Index <key> enthaelt, wird nichts veraendert.
8
9SIEHE AUCH
10 mappingp(E), mkmapping(E), m_add(E), m_indices(E), m_values(E),
11 sizeof(E), widthof(E)