Change granter.sh to give permissions to user specified on command line

[hcoop/zz_old/portal.git] / mail.sig

signature MAIL =
sig
    type session
    val mopen : unit -> session
    val mwrite : session * string -> unit
    val mclose : session -> OS.Process.status
end