tweak logging config : *do not* disable other loggers
authorparmentelat <thierry.parmentelat@inria.fr>
Wed, 16 May 2018 08:11:12 +0000 (10:11 +0200)
committerparmentelat <thierry.parmentelat@inria.fr>
Wed, 16 May 2018 08:11:12 +0000 (10:11 +0200)

No differences found