From 9a89b7ad0809e1564e31a93074b29a6b35a8cf62 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Wed, 30 Sep 2009 02:10:58 +0000 Subject: [PATCH] typo svn: r16175 --- collects/handin-server/scribblings/server-setup.scrbl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/handin-server/scribblings/server-setup.scrbl b/collects/handin-server/scribblings/server-setup.scrbl index 758d3e7efe..fa56083314 100644 --- a/collects/handin-server/scribblings/server-setup.scrbl +++ b/collects/handin-server/scribblings/server-setup.scrbl @@ -219,7 +219,7 @@ This directory contains the following files and sub-directories: save until the new contents is ready.) This is most useful for closing & opening submissions directories.} -@item{@filepath{users.ss} (created if not present if a user is added): +@item{@filepath{users.ss} (created if not present when a user is added): keeps the list of user accounts, along with the associated password (actually the MD5 hash of the password), and extra string fields as specified by the 'extra-fields configuration entry (in the same