]> gitweb.factorcode.org Git - factor.git/commitdiff
fix another typo.
authorJohn Benediktsson <mrjbq7@gmail.com>
Tue, 13 Feb 2018 01:17:44 +0000 (17:17 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Tue, 13 Feb 2018 01:17:44 +0000 (17:17 -0800)
basis/unix/groups/groups-docs.factor

index 6498e42e5a3d7ef28f65729b4dcb68cbae43f255..e9b72fc40566696d51383175de966ee70694c62e 100644 (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