astyle'd rtgui/options.cc to help merge

This commit is contained in:
Morgan Hardwood
2017-01-30 23:45:03 +01:00
parent 7fe7c4f60f
commit eb14b15ea5