Merge pull request #999 from Gravatronics/enhancement/integerOptionTypeMinMax
authorAlexander Ebert <ebert@woltlab.com>
Tue, 25 Dec 2012 18:01:31 +0000 (10:01 -0800)
committerAlexander Ebert <ebert@woltlab.com>
Tue, 25 Dec 2012 18:01:31 +0000 (10:01 -0800)
Adds support for min/max value for integer option type


Trivial merge