log src/tools/config.py @ 1322:1f13a837e4b2 frontends_multi_profiles

age author description
Thu, 16 Oct 2014 20:10:08 +0200 Goffi core (config): fixed a bad option check