X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/314ce7bdcb5f54a7d1763e8b6d405dc66cb65d2b..41c58dafe735d17b7d3241bf248ca8806a355926:/src/msgTypes.sml?ds=sidebyside diff --git a/src/msgTypes.sml b/src/msgTypes.sml index 034e26a..25c3592 100644 --- a/src/msgTypes.sml +++ b/src/msgTypes.sml @@ -120,9 +120,5 @@ datatype msg = (* Grant all allowed privileges on a DBMS database to the user *) | MsgMysqlFixperms (* Run the script to grant DROP privileges on MySQL tables to owning users *) - | MsgDescribe of string - (* Ask for a listing of all of a domain's real configuration *) - | MsgDescription of string - (* Reply to MsgDescribe *) end