Auf der Arena Homepage findet sich ein "setup", das ich als ein update der GUI verstanden und heruntergeladen habe. Als Ergebnis habe ich nun aber zweimal Arena mit unterschiedlichem Inhalt auf dem Rechner, gewünscht hätte ich mir eine Verschmelzung.
Nicht weiter schlimm zwar, aber gibt es da einen eleganteren Weg, als eine Version zu löschen?
Roland