X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/8c142ff5a8d781a44261c1ca2f15f0e13a9d2e88..d541c6185fb0f426dce0b16e85327b53635169e0:/src/main-admin.sml diff --git a/src/main-admin.sml b/src/main-admin.sml index c36da01..e3dc67b 100644 --- a/src/main-admin.sml +++ b/src/main-admin.sml @@ -16,7 +16,7 @@ * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. *) -(* Driver for server *) +(* Driver for admin requests *) fun requestPerms user = case Main.requestListPerms user of