mattijs f51ee9a0e2 Merge remote-tracking branch 'origin/develop' into develop-pre-release		2018-05-31 17:34:16 +01:00
..
solvers	Merge remote-tracking branch 'origin/develop' into develop-pre-release	2018-05-31 17:34:16 +01:00
test	Merge remote-tracking branch 'origin/develop' into develop-pre-release	2018-05-31 17:34:16 +01:00
utilities	Merge remote-tracking branch 'origin/develop' into develop-pre-release	2018-05-31 17:34:16 +01:00
Allwmake	ENH: improve handling of ThirdParty packages	2018-04-24 14:51:19 +02:00