5 Commits

Author	SHA1	Message	Date
oreo639	26f5f7eb33	Fix travis	2020-06-13 12:32:24 +02:00
fincs	1442eef9e4	Update travis config again	2020-06-11 20:01:32 +02:00
Oreo639	67933816ba	Improve travis script	2019-04-30 13:56:50 +02:00
Oreo639	fd1006b682	Update travis to build Doxygen.	2019-03-28 12:38:40 +01:00
Dave Murphy	510504a853	Use Docker for builds (#405)	2018-05-22 01:35:54 +01:00