Note:

You are viewing a development version of the library. Goto the latest version.

let add_global_options lst =
  global_options := lst @ !global_options