Entwickleroptionen unter Cyanogenmod 10.1 freischalten

Um die Entwickleroptionen freizuschalten muss folgendes gemacht werden:

Einstellungen -> Über das Telefon -> mehrmals hintereinander auf Build Nummer tippen.

Fertig :)