log src/tools/config.py @ 1302:447d28b1b4ec 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