Revision 3fbeed237151a83fc93290c5349e94bf8fd86f91

Committed on 17/10/2018 5:36 am by Petar Å panja <petar@spanja.info> [GitHub Diff]

Get rid of additional Travis config