cert: remove obsolete suggestion you need a dedicated IP for TLS

[hcoop/portal.git] / domtool.sig

signature DOMTOOL = sig
    val perms : string -> string -> string list
    val hasPerm : string -> string -> string -> bool
end