To enable the developer options settings in CyanogenMod 10 you need to do something quite obscure:
Go to Settings -> About Phone -> click “Build Number” six times in a row.
This information is available elsewhere, including where I found it, but hopefully reposting here will make it easier to find.