Merge pull request #468 from Gravatronics/bug/optionExportHeading
authorAlexander Ebert <ebert@woltlab.com>
Thu, 1 Mar 2012 23:39:12 +0000 (15:39 -0800)
committerAlexander Ebert <ebert@woltlab.com>
Thu, 1 Mar 2012 23:39:12 +0000 (15:39 -0800)
Fixes the heading for the option export section


Trivial merge