jamessnee1/OSPproject — pull request #1 by Argo483 (2013-10-01 03:36:31+00:00)
Title: Added option to change the audio output between HDMI and 3.5mm.

Tested and working on the Pi. I used option 0 for the new options as I wasn't sure if it would work with double digit menu options e.g. 10). But perhaps you want to change it to use option 10) instead of 0).