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)

No differences found