2 Commits

Include renames

Author	SHA1	Message	Date
Ion Gaztañaga	7dfabdf2d2	Improve randomness of random_shuffle	2018-12-31 00:55:28 +01:00
Ion Gaztañaga	de55af3cbb	Fixed adaptive_sort/merge bugs for stability.	2016-11-12 18:58:16 +01:00