Bedienungsanleitung der Oberfläche – Mutabor beenden

5.1.7.  MUTABOR beenden

Dieser Befehl beendet die Arbeit mit MUTABOR. Wenn sich noch nicht gespeicherte Quelltexte im Editor befinden, wird abgefragt, ob jene gespeichert werden sollen.

˙