cleanup of conf_files
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Mon, 31 Dec 2018 10:50:42 +0000 (11:50 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Mon, 31 Dec 2018 10:50:47 +0000 (11:50 +0100)
commit3184dfd75f761d5a81408ead335ddbdd2346a375
treef773871f3363784265d277d276b4ab0ed70429c1
parente7e8bdc7c29fa73e0f22f246d8e10694b7d218d3
cleanup of conf_files
conf_files.py