Sebastian Messmer 3d1341114b Use unique_ref instead of unique_ptr		2015-06-26 15:59:18 +02:00
..
algorithms.cpp	Use unique_ref instead of unique_ptr	2015-06-26 15:59:18 +02:00
algorithms.h	Adapt to new cpp-utils	2015-06-21 17:43:45 +02:00