next up previous contents index


18.2.3 Definition umbenennen

Der aktivierten Definition kann ein neuer Name zugewiesen werden. Dies wird mit Umbenennen erreicht.



2022-06-09 (c) by Archivista GmbH, CH-8132 Egg