diff options
| author | Joey Hess <joey@kitenet.net> | 2010-06-13 10:21:19 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2010-06-13 10:21:19 -0400 |
| commit | 17592a951bf06ede47f500af25308e9c68944279 (patch) | |
| tree | 5b44ea533ae227b4a05ceb352bb314abb80201ac /gitremotes | |
| parent | 89a970bd7d8cccf5362985ae293aba5626429095 (diff) | |
websetup: Allow enabling plugins listed in disable_plugins.
The bug here was that disabling a plugin included thru goodstuff, like
htmlscrubber, caused it to be added to disable_plugins, and those plugins
were never loaded, so could not be re-enabled. Fix by allowing them to be
force loaded when appropriate. (Also that allows disabled plugins to still
record their setup options when dumping a setup file.)
Diffstat (limited to 'gitremotes')
0 files changed, 0 insertions, 0 deletions