Note:

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

let ignore_plugins_specs =
  [
    "-ignore-plugins",
    Arg.Set ignore_plugins,
    s_ " Ignore plugin's field.";
  ]