4 commits

Author	SHA1	Message	Date
Gaudenz Alder	12368ce346	8.0.0 release	2018-01-18 10:58:14 +01:00
Gaudenz Alder	dcda9ed577	Adds GitHub build properties	2016-10-07 15:42:14 +02:00
Gaudenz Alder	5e7fc428f9	5.7.1.2 release	2016-10-07 15:02:07 +02:00
Gaudenz Alder	648b0f02cb	5.6.0.0 release	2016-09-06 16:07:11 +02:00