From mboxrd@z Thu Jan 1 00:00:00 1970 From: Andrew To: 9fans@cse.psu.edu Message-ID: <20030618230626.GA32362@thefrayedknot.armory.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.4.1i Subject: [9fans] removing users Date: Wed, 18 Jun 2003 16:06:26 -0700 Topicbox-Message-UUID: cfa88984-eacb-11e9-9e20-41e7f4b1d025 how does one remove a user from a fossil file server? do you edit the users file by hand have fossil re-read it and then delete their files? or is there a different way? thanks