Source

mutated_ocaml / ocamldoc / odoc_global.ml

Diff from to

ocamldoc/odoc_global.ml

 (*                                                                     *)
 (***********************************************************************)
 
-(* $Id: odoc_global.ml 11156 2011-07-27 14:17:02Z doligez $ *)
+(* $Id: odoc_global.ml 12798 2012-07-30 11:53:27Z doligez $ *)
 
 (** Global variables. *)
 
 let with_toc = ref true
 
 let with_index = ref true
-
-
-