Daniel James 8c0410fff5 Only support std::random_shuffle when available ... It was removed in C++17. We could emulate it when it isn't available, but that doesn't seem worth the effort.		2018-04-07 15:10:29 +01:00
..
boost/lambda	Only support std::random_shuffle when available	2018-04-07 15:10:29 +01:00