Plasma GitLab Archive
Projects Blog Knowledge

sig
  val tmp_directory : unit -> string
  val tmp_prefix : string -> string
  val set_tmp_directory : string -> unit
end
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml