(* Time-stamp: <modified the 26/03/2014 (at 16:12) by Erwan Jahier> *)

val make: string array -> RdbgPlugin.t