astyle'd rtgui/options.cc to help merge

This commit is contained in:
Morgan Hardwood
2017-01-30 23:44:40 +01:00
parent ebace9dd0f
commit 9117f5f438