Fix #3653: document plugin path configuration
authorRicardo Mones <ricardo@mones.org>
Tue, 5 Jul 2016 13:01:46 +0000 (15:01 +0200)
committerRicardo Mones <ricardo@mones.org>
Tue, 5 Jul 2016 13:01:46 +0000 (15:01 +0200)
commitdc8db42475570161448318cf1677048fd7b90ea0
tree2e61c3d045690257a95b934130c53031bb14dfe4
parentfaf9c1d8e6c95227367e76d247c19eea601a75e4
Fix #3653: document plugin path configuration
manual/plugins.xml