Andreas Rumpf bbfe28ec5c make tests green again		2016-08-23 10:16:52 +02:00
..
core	Move deprecated modules into lib/deprecated/	2015-09-30 12:26:25 +02:00
pure	make tests green again	2016-08-23 10:16:52 +02:00