just reordering in Logger.py
authorparmentelat <thierry.parmentelat@inria.fr>
Wed, 23 May 2018 21:41:13 +0000 (23:41 +0200)
committerparmentelat <thierry.parmentelat@inria.fr>
Wed, 23 May 2018 21:41:13 +0000 (23:41 +0200)

No differences found