tree 15ecbcdb5fc324176f19c02767dd5f361c4723a8
parent 517bbd54d55db18462033fbb80b83447be13008b
author Manuel Pégourié-Gonnard <mpg@elzevir.fr> 1438696774 +0200
committer Manuel Pégourié-Gonnard <mpg@elzevir.fr> 1438696774 +0200

Migrate to Travis' new infrastructure