log develop.cfg @ 260:0ac15efd8c17 default tip

age author description
Wed, 16 Nov 2011 19:10:28 +0100 Daniele Nicolodi Add local configuration file as arguments to user scripts.