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)
commit7839b4f9ba2462b98702e5825e596a06fe8c6910
treeae02762f1d8af3e85ffdcbe71508e1fa36581aa0
parentb75ccb973ad9c03b1fd76869c931a2a364947702
parentd44e37c1f5ddcc8c03c9ece00631259b42aebe34
Merge pull request #468 from Gravatronics/bug/optionExportHeading

Fixes the heading for the option export section