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)
commitd8d4fba6dc4d032b418e25166958d88970a80703
treeac861834c12acc708df5a55cbc8550f770abd93b
parenta113e5b949c0872e86af03a946ac0058be7a8707
parentd74003bff26e73e0e1a046a9a1777e6ecf8341b6
Merge pull request #995 from Gravatronics/enhancement/integerOptionType

Changes input type of IntegerOptionType from text to number