Author: faassen Date: Thu Jun 15 15:15:38 2006 New Revision: 28816 Added: z3/hurry.file/trunk/ - copied from r28815, z3/hurry/trunk/ Log: Prepare for separation of hurry.file from the hurry package.