geos:kavdi:oberflaeche:kavdi_schnittstellen:schnittstellen-ascii-datei-einlesen
Medien-Manager
Namensräume
Namensraum wählen
Datei
- Anzeigen
- Verlauf
geos:kavdi:druckmanager.png in 2018/07/06 09:39
- Datum:
- 2023/11/04 21:23
- Dateiname:
- druckmanager.1530862774.png
- Format:
- PNG
- Größe:
- 5KB
- Breite:
- 116
- Höhe:
- 117
- Verwendung von:
- kavdi