Configure: disable plugins by default
commit877762e2cde8b3257277831046cf9a236b3571c2
authorEduardo Silva <edsiper@gmail.com>
Wed, 11 Nov 2009 14:46:09 +0000 (11 11:46 -0300)
committerEduardo Silva <edsiper@gmail.com>
Wed, 11 Nov 2009 14:46:09 +0000 (11 11:46 -0300)
tree1bcc228221e2ee6dde68984e103a5489ad97821e
parentcb923808a681bdf246d5e551f2f0a52b97d8f1c1
Configure: disable plugins by default
configure