Author: gpf Date: 2007-10-25 20:45:33 +0200 (Thu, 25 Oct 2007) New Revision: 2027 Log: not needed in svn Deleted: trunk/user/tintin/src/config.h Deleted: trunk/user/tintin/src/config.log