log src/tools/config.py @ 1395:1ae9aa94c351

age author description
2014-10-16 Goffi core (config): fixed a bad option check
2014-10-11 Goffi core (config): added the Exception default value which raise an exception instead of returning the default in getConfig
2014-10-07 Goffi core: better management of default value in getConfig