Andreas Rumpf 0a38cd6543 make tests green again		2017-11-02 19:07:00 +01:00
..
core	Move deprecated modules into lib/deprecated/	2015-09-30 12:26:25 +02:00
pure	make tests green again	2017-11-02 19:07:00 +01:00