configure: In the summary, say which plugins have been disabled by the user.
authorSebastian Harl <sh@tokkee.org>
Tue, 30 Mar 2010 20:15:56 +0000 (22:15 +0200)
committerSebastian Harl <sh@tokkee.org>
Tue, 30 Mar 2010 20:15:56 +0000 (22:15 +0200)
commitc632c2e5d2c982846ebbb789b0661702872518d0
tree6a9cd6077b9eb5c68e46ce6916fd770e8cdd1004
parentaa8eb582bd62448362a0146cc4de2fba40d92374
configure: In the summary, say which plugins have been disabled by the user.
configure.in