use accents in persons names
authorparmentelat <thierry.parmentelat@inria.fr>
Tue, 15 Jan 2019 14:52:22 +0000 (15:52 +0100)
committerparmentelat <thierry.parmentelat@inria.fr>
Tue, 15 Jan 2019 14:52:22 +0000 (15:52 +0100)
commit56e7c30b090c8eb13ceeee6ee504359f39f636d8
tree7b89f31a52c5c088706f3dcb2238c3cbd60a6074
parent2f63881cd20b23b714d2f692a62055f32e401034
use accents in persons names
system/config_default.py