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