fix another typo.

windows-high-dpi
John Benediktsson 2018-02-12 17:17:44 -08:00
parent a92d67fcb2
commit 0bd052500e
1 changed files with 1 additions and 1 deletions

View File

@ -66,7 +66,7 @@ HELP: user-groups
HELP: with-effective-group
{ $values
{ "string/id/f" "a string, a group id, or f" } { "quot" quotation } }
{ $description "Sets the effective group name and calls the quotation. Restors the effective group name on success or on error after the call. If the first parameter is " { $link f } ", the quotation is called as the current user." } ;
{ $description "Sets the effective group name and calls the quotation. Restores the effective group name on success or on error after the call. If the first parameter is " { $link f } ", the quotation is called as the current user." } ;
HELP: with-group-cache
{ $values