Baystation12/Baystation12 — pull request #3129 by Zuhayr (2013-06-22 07:49:25+00:00)
Title: Holodeck options fix.

Makes the new holodeck options usable.