Add option to disable plugin auto-loading#3787
Merged
nicoddemus merged 1 commit intofeaturesfrom Aug 9, 2018
unknown repository
Merged
Add option to disable plugin auto-loading#3787nicoddemus merged 1 commit intofeaturesfrom unknown repository
nicoddemus merged 1 commit intofeaturesfrom
unknown repository
Commits
Commits on Aug 7, 2018
- committed
Virgil Dupras