minor cosmetic in conf_files
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Sat, 29 Dec 2018 13:51:47 +0000 (14:51 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Sat, 29 Dec 2018 13:51:47 +0000 (14:51 +0100)
commit703d54d277f2d2d077af2446c1a53970fa898aba
tree00c63b09aec95ba36896ccf7a5960482d9e1bf10
parent54c53b53e5deefc2525888212dbed5bb0f8b0a3b
minor cosmetic in conf_files
conf_files.py