Removed the not-used REALLYDUMB config option.
authormarkus schnalke <meillo@marmaro.de>
Wed, 21 Mar 2012 15:06:32 +0000 (16:06 +0100)
committermarkus schnalke <meillo@marmaro.de>
Wed, 21 Mar 2012 15:06:32 +0000 (16:06 +0100)

No differences found