tree 82d490f42efc33937606996c488f7b9c8bb7d825
parent 25625ca1a06d5f6e0a1c8c9b88303a8a2b6d19a7
author Davide Pesavento <davide.pesavento@lip6.fr> 1462291399 +0200
committer Davide Pesavento <davide.pesavento@lip6.fr> 1462293692 +0200

ci: update Travis-CI to use Ubuntu Linux 14.04 (trusty) and OS X 10.9 VMs

Change-Id: I692ca5514562eb9dc2da2a7ddf64fb7e82a429ab
Refs: #3360