Remove duplicated Windows configure options.
authorBruce Cran <bruce@cran.org.uk>
Sat, 2 Feb 2013 20:59:31 +0000 (20:59 +0000)
committerJens Axboe <axboe@kernel.dk>
Sun, 3 Feb 2013 12:49:37 +0000 (13:49 +0100)
Signed-off-by: Jens Axboe <axboe@kernel.dk>

No differences found