Merge pull request #995 from Gravatronics/enhancement/integerOptionType
authorMarcel Werk <burntime@woltlab.com>
Mon, 24 Dec 2012 22:56:56 +0000 (14:56 -0800)
committerMarcel Werk <burntime@woltlab.com>
Mon, 24 Dec 2012 22:56:56 +0000 (14:56 -0800)
Changes input type of IntegerOptionType from text to number


Trivial merge