tree 8d0a37f367178012d140151cf0313a4e3609f4fa
parent 806ddccbb18b2e2bd490bbbe6d72c3a1833e2c1b
author gwenn <gtreguier@gmail.com> 1532372631 +0200
committer gwenn <gtreguier@gmail.com> 1532372631 +0200

Fix History config