Vincent Demeester e3746d388e Merge pull request #206 from dnephin/why-cross-so-slow ... Faster CI		2017-07-13 09:36:18 +02:00
..
build	Add parallelism to cross build	2017-07-05 15:23:32 -04:00
docs	Run docs and man generation in CI	2017-06-14 14:59:48 -07:00
gen	Remove unused windows resourcefiles.	2017-05-15 22:50:33 -04:00
test	Pin all tools used in the Dockerfiles	2017-07-11 14:23:27 -04:00
validate	Fix check-git-diff so that it fails on CI	2017-06-06 15:06:34 -04:00
winresources	Remove unused windows resourcefiles.	2017-05-15 22:50:33 -04:00