log src/tools/config.py @ 1328:7a3a232d4938 frontends_multi_profiles

age author description
Thu, 16 Oct 2014 20:10:08 +0200 Goffi core (config): fixed a bad option check
Sat, 11 Oct 2014 16:26:43 +0200 Goffi core (config): added the Exception default value which raise an exception instead of returning the default in getConfig
Tue, 07 Oct 2014 17:12:41 +0200 Goffi core: better management of default value in getConfig