Revision 8f9608d4bcbfbc9ccc6878e8068341e127037e76

Committed on 17/12/2014 8:24 am by Christophe Coevoet <stof@notk.org> [GitHub Diff]

Switch to the docker-based infrastructure on Travis