tree 2a047fa4016df6a3f650edc38284327af9861eb8
parent 9b9c3527745b2e6587ff727cacf81f8d945077bf
author gwenn <gtreguier@gmail.com> 1534788084 +0200
committer gwenn <gtreguier@gmail.com> 1534788084 +0200

Modify Editor Config #137

Introduce a Configurer trait