X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/be1bea4c0a2a4cfa0b86beccfa423366b94b84b4..1824f573f7f8720514af1dc94d7cfb1de5b15fef:/src/domain.sig diff --git a/src/domain.sig b/src/domain.sig index 041be2f..1d708f5 100644 --- a/src/domain.sig +++ b/src/domain.sig @@ -64,4 +64,6 @@ signature DOMAIN = sig val set_context : OpenSSL.context -> unit val hasPriv : string -> bool + + val rmdom : string -> unit end