Revision 4b597387b38806b740b0d663085aeee0be1d9c17

Committed on 11/08/2016 8:54 am by Edi Modrić <edi@netgen.hr> [GitHub Diff]

Update travis build config