Revision 1bff14ac src/plugins.ml
src/plugins.ml | ||
---|---|---|
5 | 5 |
|
6 | 6 |
let options () = |
7 | 7 |
List.flatten ( |
8 |
List.map Options.plugin_opt ( |
|
8 |
List.map Options_management.plugin_opt (
|
|
9 | 9 |
List.map (fun m -> |
10 | 10 |
let module M = (val m : PluginType.PluginType) in |
11 | 11 |
(M.name, M.activate, M.options) |
Also available in: Unified diff