Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen angezeigt.

primus:gui_menus [2022/08/05 12:42] – ↷ Links angepasst, weil Seiten im Wiki verschoben wurden mgras		primus:gui_menus [2023/02/08 12:01] (aktuell) – Externe Bearbeitung 127.0.0.1
Beide Seiten der vorigen Revision Vorhergehende Überarbeitung