X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/c53e82e40cef407de986aa329d31457915ad0dbe..c189cbe97d554b26ec6b203b4ce9f697947ecc38:/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