5 commits

Author	SHA1	Message	Date
redtide	d7395129c7	Revert Travis hack.	2019-09-21 10:33:29 +02:00
redtide	d01b3be875	Trying Travis badge hack.	2019-09-21 10:33:29 +02:00
redtide	434d10d14c	Trying Travis badge hack.	2019-09-21 10:33:29 +02:00
redtide	af8acd77b0	Trying Travis badge hack.	2019-09-21 10:33:29 +02:00
redtide	d500c43541	Added Travis CI configuration.	2019-09-21 10:33:29 +02:00