Project

General

Profile

Revision 1bff14ac src/plugins.ml

View differences:

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